| 有限状態オートマトン Finite State Automaton |
正規言語 Regular Language |
| プッシュダウンオートマトン Push-Down Automaton |
文脈自由型言語 Context Free Language |
| リニアバウンデツドオートマトン Linear-Bounded Automaton |
文脈依存型言語 Context Sensitive Language |
| チュウリングマシン Turing Machine |
タイプ〇言語 Type Zero Language |