乔姆斯基文法
作者:互联网
根据对产生式施加的限制不同,乔姆斯基(Chomsky)定义了四类文法和语言。
0型文法:短语结构文法或无限制文法,可使用任何的语法描述形式;
1型文法:也叫上下文有关文法,其描述能力相当于线性有界自动机,语法形式如下:xSy -> xAy。也就是说,S推导出A是和上下文x, y相关的,即S只有在上下文x, y的环境中才能推导出A;
2型文法:也叫上下文无关文法,其描述能力相当于下推自动机,语法形式如下:S -> A。S可以无条件的推导出A,和上下文无关,上下文无关文法因此得名;
3型文法:也叫正则文法,等价于正则表达式,其描述能力相当于有穷自动机,语法形式如下:S -> Aa。其中最后一个a必须为非终结符。
标签:文法,自动机,型文法,推导,语法,上下文,乔姆斯基 来源: https://www.cnblogs.com/jingchi/p/15926835.html