计算理论教学资料.docVIP

Textbook Summary 1. 与自然数集合N等势的集合是可数无穷的，称有穷的or可数无穷的集合是可数的。非可数的集合称作不可数的。 2. DFA( K, Σ, s, F, δ )；NFA（K,Σ，s，F，Δ） 3. 每台NFA都有一台等价的DFA（method:find closure） 4. 有穷自动机接受的语言类= 正则语言类（正则表达式描述的语言类） 5. 正则语言在各种运算下封闭 6. 语言是正则的，iff其等价语言中有有穷个等价类。 7. DFA状态最小化-寻找等价类（初始等价类F K-F） 8. CFL（V，Σ，R，S） 9. 存在非正则的CFL 10. 能够生成=两棵语法分析树的字符串的文法叫做歧义的。 11. PDAM=（K，Σ，Γ，Δ，s，F），Γ为栈符号 12. PDA接受的语言正好是CFL 13. 正则语言（xynz）和CFL（uvnxynz）的泵定理 14. L={anbn}∈CFL，L={anbncn}?CFL但是是递归的，L={an,n为素数}不是CFL 15. Chomsky范式（CNF）：若Rí(V-Σ)×V2，则称G=（V，Σ，R，S）为Chomsky范式 16. 有穷自动机总是停机。 17. CFG