本文介绍了形式语言学中规则的概念及其表示方法，并详细解析了文法四元组的构成，包括非终结符集、终结符集、生成式集合及开始符。同时，根据乔姆斯基的分类体系，对比了不同类型的文法特点，如上下文无关文法与上下文有关文法的区别。
规则，也称重写规则、产生式或生成式，是形如a->β或a::=β的(a,β)有序对。其中a为左部，β为右部，符号“->（::=）”读作“定义为”。
文法四元组Ｇ（Ｖn，Ｖt，Ｐ，Ｓ）
Ｖn为非终结符集，一般用大写字母表示
Ｖt为终结符集，一般用小写字母表示
Ｐ生成式集合
Ｓ开始符或识别符
乔姆斯基将文法分为四种类型：0型文法（相当于图灵机，递归可枚举）
1型文法：上下文有关的(context-sensitive)
2型文法：上下文无关的(context-free)
3型文法：正规文法
上下文无关是指文法的生成式可以表示为A->β,表示用β取代Ａ时，与Ａ所在的上下文无法；
与此相对的上下文有关方法指生成式表示为aAb->aβb,即若要用β取代Ａ，必须有a和b出现
―――――――――摘自编译原理第二版
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
