オートマトン

有限オートマトン

プッシュダウンオートマトン

線形拘束オートマトン

チューリングマシン

言語の定義

オートマトンによって受理される文字列の集合で言語を定める