オートマトンと言語

オートマトン(automaton) はコンピュータのハードウェアの基本機構をモデル化したもの

言語理論はコンピュータのソフトウェア、特にコンパイラなどの理論的基盤を与えるもの