オートマトン言語理論_計算論_II