例解図説　オートマトンと形式言語入門 / 岡留　剛　著