オートマトン
有限オートマトン 決定的有限オートマトン (Deterministic Finite Automata, DFA) 非決定的有限オートマトン (Nondeterministic Finite Automata, NFA) ε動作を含む非決定的有限オートマトン (Nondeterministic Finite Automata, with ε transitions (FND-ε,ε-NFA))
プッシュダウン・オートマトン (Pushdown Automata, PDA)
線形拘束オートマトン (Linear Bounded Automaton, LBA)
生け垣オートマトン (Hedge Automata)