编译原理
自动机
DFA
具有始末状态
任意状态的出度条件无重复
NFA
epsillon-NFA
PDA
下推自动机 Pushdown Automaton