オートマトン・言語理論入門 / 大川　知　他著