オートマトン・言語理論入門 未来へつなぐデジタルシリーズ5/大川知,広瀬貞樹,山本博章