计算理论知识归纳汇总版.pdfVIP

1. 与自然数集合N等势的集合是可数无穷的，称有穷的or可数无穷的集合是可数 的。非可数的集合称作不可数的。 2. DFA(K, Σ,s,F, δ) ；NFA（K,Σ，s ，F，Δ ） 3. 每台NFA都有一台等价的DFA（method:findclosure ） 4. 有穷自动机接受的语言类= 正则语言类（正则表达式描述的语言类） 5. 正则语言在各种运算下封闭 6. 语言是正则的，iff其等价语言中有有穷个等价类。 7. DFA状态最小化-寻找等价类（初始等价类FK-F ） 8.