乔姆斯基文法

乔姆斯基文法体系共分为4类:

0型文法:也叫短语结构文法或无限制文法,其描述能力相当于图灵机,可使用任何的语法描述形式;

1型文法:也叫上下文有关文法,其描述能力相当于线性有界自动机,语法形式如下:

xSy -> xAy

也就是说,S推导出A是和上下文x, y相关的,即S只有在上下文x, y的环境中才能推导出A;

2型文法:也叫上下文无关文法,其描述能力相当于下推自动机,语法形式如下:

S -> A

S可以无条件的推导出A,和上下文无关,上下文无关文法因此得名;

3型文法:也叫正则文法,等价于正则表达式,其描述能力相当于有穷自动机,语法形式如下:

S -> Aa

其中最后一个a必须为非终结符。

阅读更多
文章标签: 正则表达式
个人分类: 编译原理
上一篇迎接新世纪:语法研究的百年反思(转载)
下一篇正则文法和上下文无关文法
想对作者说点什么? 我来说一句

没有更多推荐了,返回首页

关闭
关闭
关闭