编译原理--文法与语言的关系

一、 文法的概念

文法是描述语言的语法结构的形式规则

1)相关概念

1.非终结符

在这里插入图片描述

2.终结符

在这里插入图片描述

3.开始符号

表示所定义的语法范畴的非终结符
又称为识别符号

4.产生式

在这里插入图片描述

5.推导

在这里插入图片描述

6.归约

在这里插入图片描述

7.句型、句子、语言

在这里插入图片描述
最左推导

在这里插入图片描述

最右归约
在这里插入图片描述

在这里插入图片描述

8.文法规则的递归定义

在这里插入图片描述
在这里插入图片描述
上面那个是正确的,整数是递归定义的,有终结的状态

文法规则的扩充表示

–扩充的BNF表示
()提因子
在这里插入图片描述
在这里插入图片描述

9.元语言符号

在这里插入图片描述

文法与语言的形式定义

在这里插入图片描述

0型

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

在这里插入图片描述

1型

在这里插入图片描述

2型

在这里插入图片描述

3型

在这里插入图片描述
在这里插入图片描述

i型语言

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
包含关系:
在这里插入图片描述

由语言构造文法

在这里插入图片描述
在这里插入图片描述
以a开头的符号串
有相同个数的a,b
A(b多一个)(以a开头或者b开头)
A->aAA|bS
B(a多一个)(以a开头或者b开头)
B->aS|bBB

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

文法的简化

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
删除
在这里插入图片描述

S不可能推到d
m
没有终结状态
在这里插入图片描述
E没有出现
在这里插入图片描述
完成

构造没有空产生式的上下文无关文法

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值