削除された内容 追加された内容
Calvero (会話 | 投稿記録)
m編集の要約なし
編集の要約なし
16行目:
*[[線形拘束オートマトン]] (Linear Bounded Automaton (LBA))
*[[チューリングマシン]] (Turing Machine)
*[[生け垣オートマトン]](Hedge Automata)
 
==形式言語との関係==