上下文无关文法、上下文有关文法

一直被这两个绕着，现在终于理解点了！

从0型文法到3型文法，规则越来越严格了。

 

0型文法：可由图灵机识别（关于图灵机，百度百科描述很详细了。）

 

1型文法：上下文有关文法。（任何产生规则的左手端和右手端都可以被终结符和非终结符的上下文所围绕，乔姆斯基描述自然语言的一种方式介入的，在自然语言中一个单词是否可以出现在特定的位置要依赖于上下文。）

 

2型文法：上下文无关文法。之所以称为上下文无关文法，是因为在推导式中a->b ，字符a总可以被字符串b自由替换，而无需考虑字符a出现的上下文。

 

3型文法：正规语言，之所人称作正规语言（正则语言），可能是因为3型文法只有两种形式 A->aB A->a ，比较固定，规则明显，所以称为正规语言。（小菜这么想的）

个人理解：

1型文法：左侧至少含有一个非终结符，也就说存在一种情况，就是左侧既有终结符也有非终结符，这就导致在推导式过程中，，因为左侧含有非终结符。

2型文法：左侧只含有一个非终结符，在推导式的过程中，左侧会被完全替换掉，只起到一个中间的作用。

2型文法是1型文法的一种特殊情况，所以说，上下文无关文法，一定是上下文有关文法。。。

参考：http://blog.csdn.net/lovesummerforever/article/details/9025665