計算理論の基礎 [原著第2版] 1.オートマトンと言語 - 共立出版
Michael Sipser 著