正規文法
#形式文法
正規言語
を生成可能