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