川添愛, 白と黒のとびらオートマトンと形式言語をめぐる冒険

おそらく世界初のオートマトン小説。有限オートマトンから始まり、プッシュダウンオートマトン、線形拘束オートマトン、チューリングマシンといった情報工学の理解に欠かせない理論を小説形式で楽しく学べる。

特に序盤は一番の基礎となる有限オートマトンを噛んで含めるように説明してくれるので、初学者にもお勧めできる。中盤以降はやや駆け足な印象があるが、一つ一つの課題を主人公とともにじっくりと解いていけば決して理解できない内容ではない。