Title: Ōtomaton, keishiki gengo riron to keisanron
Subjects: Computational complexity, Formal languages, Machine theory