文法定义

文法G=(N,∑,P,S),其中N为终止符集合，∑为终止符集合，P为产生式集合，S为起始语句

0-型文法（无限制文法或短语结构文法）包括所有的文法。该类型的文法能够产生所有可被图灵机识别的语言。可被图灵机识别的语言是指能够使图灵机停机的字串，这类语言又被称为递归可枚举语言。注意递归可枚举语言与递归语言的区别，后者是前者的一个真子集，是能够被一个总停机的图灵机判定的语言。

1-型文法（上下文相关文法）生成上下文相关语言。这种文法的产生式规则取如 αAβ -> αγβ 一样的形式。这里的A 是非终结符号，而 α, β 和 γ 是包含非终结符号与终结符号的字串；α, β 可以是空串，但 γ 必须不能是空串；这种文法也可以包含规则 S->ε ，但此时文法的任何产生式规则都不能在右侧包含 S 。这种文法规定的语言可以被线性有界非确定图灵机接受。

这道例题中，因为没有单独以C在左边的推导规则，所以在S—>A B C替换时，后面的BC要一起私用规则（d）来作推导

2-型文法生成上下文无关语言。这种文法的产生式规则取如 A -> γ 一样的形式。这里的A 是非终结符号，γ 是包含非终结符号与终结符号的字串。这种文法规定的语言可以被非确定下推自动机接受。上下文无关语言为大多数程序设计语言的语法提供了理论基础。

3-型文法（正规文法）生成正规语言。这种文法要求产生式的左侧只能包含一个非终结符号，产生式的右侧只能是空串、一个终结符号或者一个非终结符号后随一个终结符号；如果所有产生式的右侧都不含初始符号 S ，规则 S -> ε 也允许出现。这种文法规定的语言可以被有限状态自动机接受，也可以通过正则表达式来获得。正规语言通常用来定义检索模式或者程序设计语言中的词法结构。

总结

转载于:https://www.cnblogs.com/Guhongying/p/10884883.html

四类文法以及上下文有（无）关的理解【转】相关推荐

汽车的一类、二类、三类、四类底盘是怎么划分的？
一类.二类.三类.四类底盘是怎么划分的?汽车底盘的一二三分类并不是质量的分类,而是汽车制造时的分类: 一类汽车:也就是通常意义上说的整车,包括了汽车的全部系统: 二类汽车:又称作二类底盘,指只缺少车厢 ...
存储结构分四类：顺序存储、链接存储、索引存储和散列存储
存储结构分四类:顺序存储.链接存储.索引存储和散列存储. 顺序结构和链接结构适用在内存结构中. 顺序表每个单元都是按物理顺序排列的,如果你想访问那个单元你可以根据提供的指针等直接访问到需要的东西, ...
自动驾驶中常用的四类机器学习算法
来源:智车科技机器学习算法已经被广泛应用于自动驾驶各种解决方案,电控单元中的传感器数据处理大大提高了机器学习的利用率,也有一些潜在的应用,比如利用不同外部和内部的传感器的数据融合(如激光雷达.雷达. ...
编译原理四种文法的理解补充
如果你是学习,给定一个文法,判断是哪一个文法的话,那这篇不是讲这个,只是一点小小的理解补充. 四种文法如下: 补充: 1.0型文法,即递归可枚举文法相当于图灵机是指: 给定一个文法G,一个句子g,如果 ...
UDP打洞NAT大致分为下面四类 P2P
NAT大致分为下面四类 1) Full Cone 这种NAT内部的机器A连接过外网机器C后,NAT会打开一个端口.然后外网的任何发到这个打开的端口的UDP数据报都可以到达A.不管是不是C发过来的. 例 ...
实验四类和对象；类的继承和派生；多态性；接口；构造器应用
实验四类和对象:类的继承和派生:多态性: 接口:构造器应用一.实验目的 1. 掌握类与对象的关系: 2. 掌握类的定义: 3. 掌握对象的声明及使用: 4. 掌握构造方法的概念及调用时机: 5. ...
易周金融 | 邮惠万家银行开业；微信公众号叫停四类金融营销宣传
易观分析:<数字经济全景白皮书>浓缩了易观分析对于数字经济各行业经验和数据的积累,并结合数字时代企业的实际业务和未来面临的挑战,以及数字技术的创新突破等因素,最终从数字经济发展大势以及各领 ...
内核proc参数注释（kernel、vm、net、fs四类）
转载自:https://www.cnblogs.com/tolimit/p/5065761.html 原作者很详细的列出了proc的这类接口,方便大家查询,中间有些还没有补充完整,待遇到了再补充吧,感 ...
深圳市科技创新委员会关于印发《深圳市科学技术奖四类奖项实施细则》的通知
各有关单位: 为规范深圳市科学技术奖四类奖项评审程序,保证评审工作顺利进行,根据<深圳市科学技术奖励办法>(深府规[2022]3号)的有关规定,结合我市实际,我委修订了<深圳市科学技 ...

四类文法以及上下文有（无）关的理解【转】

形式语言——四类文法

文法定义

四类文法以及上下文有（无）关的理解【转】相关推荐

最新文章

热门文章