計算機理論

形式言語とオートマトン - 基本概念