TY - BOOK AU - 福村,晃夫 AU - 稲垣,康善 TI - オートマトン・形式言語理論と計算論 / T2 - 岩波講座情報科学 AV - QA267.3 .F85 1982 PY - 1982/// CY - 東京 : PB - 岩波書店 , KW - Formal languages KW - Machine theory N1 - インデックスを含む ER -