楽天ブックスでシンプルに目的の本を探す。オートマトンと言語理論 (足立暁生)の本を買う。