オートマトン・形式言語特論-2014情報科学研究科酒井正彦 教授2014年度 前期オートマトン理論は情報科学の土台ともいえ、コンパイラへの応用やモデル検査アルゴリズムへの応用など、情報処理全般の理論的基礎となっている。本講義では、木言語上のオートマトンを学び、論理との関係や応用について論ずる。 ....続きを読む →