●John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman, Introduction to Automata Theory, Languages, and Computation, (2nd Edition),
Addison-Wesley Pub Co, 2000; ISBN: 0201441241.
●M.A. Harrison, Introduction to Formal Language Theory, Addison-Wesley Publishing Company, 1978.
●有川節夫,宮野悟,「オートマトンと計算可能性」(第1章,2章,3章),培風館,1986.
●宮野悟,「並列アルゴリズム」(第1章),近代科学社,1994.