2-2文法的定义

谁践踏了优雅 2022-11-29 00:48 157阅读 0赞

## 句子的构成 ##

![1.png][]

*  尖括号‘ <> ’括起来部分称为语法成分
 *  未用尖括号括起来的部分表示语言的基本符号

## 文法的形式化定义 ##

G = ( VT , VN, P , S )

### VT:终结符集合 ###

终结符是文法所定义的语言的基本符号，有时也成为token  
例：VT = \{apple,boy,eat,little\}

### VN：非终结符集合 ###

非终结符用来表示语法成分的符号有时也称为“语法变量”  
例：VN=\{<句子>，<名词短语>,<名词>,<动词短语>,...\}

V<sub>N</sub>∩V<sub>T</sub> =φ
    V<sub>N</sub>∪V<sub>T</sub>:文法符号集

### P:产生式集合 ###

产生式描述了将终结符和非终结符组合成串的方法  
产生式的一般形式：  
α->β  
读作α定义为β

*  α∈(VT∪VN)\+,且α至少包含VN中的一个元素，称为产生式的头部或左部
 *  β∈(VT∪VN)\*称为产生式的体或者右部

### S：开始符号 ###

S∈VN ，开始符号表示的是该文法中最大的语法成分  
例：S =<句子>

--------------------

![2.png][]

![3.png][]

## 产生式的简写 ##

![4.png][]

例：

> E -> E + E  
> E -> E \* E  
> E -> (E)  
> E -> id  
> 以上可简写成： E -> E + E | E \* E | (E) | id

### 符号约定 ###

*  终结符  
    
    
    ![5.png][]
 *  非终结符  
    
    
    ![6.png][]
 *  字母表中排在后面的大写字母(X，Y，Z，...)表示文法符号(即终结符或非终结符)
 *  字母表中排在后面的小写字母(u,v,w,x,y,...)表示终结符符号串(包括空串)
 *  小写希腊字母，表示文法符号串(包括空串)
 *  除非特别说明，第一个产生式的左部就是开始符号

[1.png]: /images/20221124/824b6ae59fea4ce9a28942ca9360d154.png
[2.png]: /images/20221124/378f1c0fe5884c8db7ba1dfefbb449ac.png
[3.png]: /images/20221124/fc42c6878bfa42a0a62f1402a5f3c5de.png
[4.png]: /images/20221124/e4ffbe28567f4e5088a68f61b7dd117b.png
[5.png]: /images/20221124/fe2b482fbff947c6802c77f12c26ff67.png
[6.png]: /images/20221124/30f60039556549dab64aeb1c278c7425.png

发表评论取消回复

表情：

评论列表（有 0 条评论，157人围观）

还没有评论，来说两句吧...

相关阅读

相关 2-2文法的定义

句子的构成 ![1.png][] 尖括号‘ <> ’括起来部分称为语法成分未用尖括号括起来的部分表示语言的基本符号文法的形式化定义 G = (

谁践踏了优雅/ 2022年11月29日 00:48/ 0 赞/ 158 阅读

相关使用文法的模糊测试2

文章目录前言整体描述前言来源：[Efficent Grammars Fuzzing][] 建议阅读原文，我这里仅仅整理下思路。

清疚/ 2022年10月28日 03:59/ 0 赞/ 135 阅读

相关 22-python_类的定义

类 \- 类的定义 \- 实例化 \- 对象属性/方法的调用 1. 类的定义 1.1 语法 class 类名 : 成员变量

红太狼/ 2022年09月17日 07:27/ 0 赞/ 204 阅读

相关 LL（1）文法 JAVA

E文法表达式类 G 定义文法类 LL 文法分析类，包含对First,Follow,Select集合的求解以及对表达式的分析函数 Main测试分析程序，并输出结果

灰太狼/ 2022年08月22日 15:20/ 0 赞/ 157 阅读

相关编译原理-文法复习

文法的相关概念 > 文法是以有穷的集合刻画无穷的集合的一个工具。 > 语言：是句子组成的集合，是由一组符号所构成的集合 > 语法：是每个句子构成的规则 > 语

亦凉/ 2022年06月01日 11:42/ 0 赞/ 227 阅读

相关 Chomsky文法分类

Chomsky文法分类体系文章目录 Chomsky文法分类体系 0型文法(Type-0 Grammar) 1型文法(Type-1

亦凉/ 2022年03月26日 10:12/ 0 赞/ 234 阅读

相关文法的形式化定义

文章目录句子的构成规则自然语言的例子文法的形式化定义产生式的简写符号的约定句子的构成规则自然语言的例子

柔光的暖阳◎/ 2022年03月26日 10:11/ 0 赞/ 336 阅读

相关 LL(1)文法

文章目录预测分析法的工作过程 S\_文法（简单的确定性文法）什么时候使用$\\epsilon$产生式？非终结符的后继符号集产生式的可

川长思鸟来/ 2022年03月16日 06:44/ 0 赞/ 312 阅读

相关语法分析---文法转换

文章目录需要文法转换的原因问题1 问题2 消除直接左递归消除直接左递归的一般形式消除间接左递归提取左公因

朱雀/ 2022年03月16日 01:44/ 0 赞/ 231 阅读

相关 java实现算符优先文法ll1文法

实验要求： 1.\[实验项目\] 实现LL(1)分析中控制程序（表驱动程序）；完成以下描述赋值语句的LL(1)文法的LL(1)分析过程。 G\[E\]: E →

亦凉/ 2022年01月22日 02:47/ 0 赞/ 336 阅读