オートマトン・言語理論の基礎/米田政明(著者),広瀬貞樹(著者),大里延康(著者),大川知(著者)