計算論への入門_オートマトン・言語理論・チューリング機械 (スタンダードテキスト)