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