@misc{oai:nagoya.repo.nii.ac.jp:00017451,
 author = {酒井, 正彦},
 month = {May},
 note = {オートマトン理論は情報科学の土台ともいえ、コンパイラへの応用やモデル検査アルゴリズムへの応用など、情報処理全般の理論的基礎となっている。本講義では、木言語上のオートマトンを学び、論理との関係や応用について論ずる。},
 title = {オートマトン・形式言語特論},
 year = {2012}
}