正规文法与有限自动机的等价性

1. 什么是文法? 文法是用于 描述语言的语法结构的形式规则 。形式语言的理论自1956年由乔姆斯基(Chomsky)建立以来,发展很快,对计算机科学有着深刻影响。常见的描述语言的文法有:蒙塔格文法(Montague Grammar),基于知识的概念依存文法,语义描述的格文法以及Chomsky的转换生成文法。 Chomsky 的转换生成文法分为四类 ,即 短语文法(0型文法)、上下文有关文法(1型文法)、上下文无关文法(2型文法)和正规文法(3型文法) ,其中正规文法又被称为线性文法,分为 左线性文...

Continue Reading »
分享到: