オートマトン・形式言語理論と計算論

岩波講座 情報科学6 1985年2月発行

　オートマトンやチューリング機械の数学的な扱いがわかりました。計算機を抽象化したモデルを作り数学的に扱い易いようにしてアルゴリズムを含めて証明を行い理論を展開する。他にも応用ができそうですね。