オートマトンと形式言語の基礎 / 五十嵐善英, Forbes D. Lewis, 山崎浩一, 舩田眞里子 著