はじめに Introduction to the Theory of Computation作者:Sipser, MichaelCourse Technology IncAmazon を参照しつつ計算理論を学んでいきます。 前回 power-of-awareness.com はじめに 前回 1. 正規言語 1.2 非決定主義 1.2.1 非決定的有限オートマトンの形式的定義 1. 正規言語 計算理論はまず「コンピュータとは何か」という問いから始まる。手許にあるノートPCなどのパソコンはコンピュータとしてはあまりに複雑すぎるため、理論的には計算モデル()という理想的なコンピュータを用いる。科学で…