定义比较

• DFA 的定义

• NFA 的定义

• $\varepsilon$-NFA 的定义

• CFG 的定义

• PDA 的定义

• TM 的定义

转换方法比较

• 子集构造法：NFA→DFA

• 递归法：DFA→正则表达式

• 状态消除法：DFA→正则表达式

• 归纳法：正则表达式→自动机