カテゴリー 学び オートマトン・形式言語理論と計算論 投稿者 作成者: MicrocomputerTechnology 投稿日 2021-06-11 オートマトン・形式言語理論と計算論 岩波講座 情報科学6 1985年2月発行 オートマトンやチューリング機械の数学的な扱いがわかりました。計算機を抽象化したモデルを作り数学的に扱い易いようにしてアルゴリズムを含めて証明を行い理論を展開する。他にも応用ができそうですね。 ← 算法表現論 → 両電源を作りたい。