授業の内容

オートマトン理論は情報科学の土台ともいえ、コンパイラへの応用やモデル検査アルゴリズムへの応用など、情報処理全般の理論的基礎となっている。本講義では、木言語上のオートマトンを学び、論理との関係や応用について論ずる。

授業の工夫

1. 学部等の講義によりオートマトン理論を習得済の学生を対象としており、それと対比させることで容易に理解できるようにした。また、オートマトン理論をあまりよく知らない学生でも理解しやすいような説明も加えるよう心がけた。
2. オートマトンと論理の関係についても触れ、木オートマトン理論の成果を応用して得られる論理分野における結果にも言及した。