やさしい計算理論

有限オートマトンからチューリング機械まで　 Ｉｎｆｏｒｍａｔｉｏｎ＆Ｃｏｍｐｕｔｉｎｇ