码迷,mamicode.com
首页 > 其他好文 > 详细

编译技术图式(第四章 语法分析)01文法和语法的定义

时间:2019-10-02 10:46:20      阅读:108      评论:0      收藏:0      [点我收藏+]

标签:树根   表达   有关   基本   src   code   规约   http   ima   

编译技术图式(第四章 语法分析)01文法和语法的定义

1、基本概念


1)词法规则: 哪些字符串合法或者不合法

  字母表:语言允许使用字符的集合

  词汇:由字符组成的有限串(字符串) 

 

  标识符:函数名,变量名等

2)语法规则:

  句子:一个“词汇序列”

  确定句子在形式上是否合法

  提供句子的结构: if ( 表达式 ) 语句 else 语句

3)语法的表示:

  (1)自然语言描述

  (2)形式化描述(BNF)

  (3)转换图(语法图)

2、形式化描述


 

终结符、非终结符、产生式

1)定义

技术图片

2)产生式的表示

技术图片               技术图片

技术图片

3)产生式的约定

(1)非终结符,用英文大写字母表示

(2)开始符号,仅有1个,第一个产生式的左边符号

4)文法的表示

技术图片

5)文法的分类

(1)0型文法(无限制文法)

(2)1型文法(上下文有关文法)

(3)2型文法(上下文无关文法)

(4)3型文法(正则文法,右线性文法) 

6)推导和规约

(1)由句型到句子,把产生式左边替换为右边,由抽象到具体

(2)由句子到句型,把产生式右边替换为左边,由具体到抽象

7)句型和句子

技术图片

句型:由开始符号推导出的任意符号串

句子:某个句型仅由终结符组成,只含终结符的句型

8)文法G产生的语言

G产生的所有句子的集合, 记为L(G)

技术图片

3、推导树(语法树)


用图展示一个句型(句子)的推导过程

倒立的树

  • 根在上、叶在下
  • 开始符号为“树根”

技术图片

 

 推导树总结

技术图片

 

 技术图片

 

编译技术图式(第四章 语法分析)01文法和语法的定义

标签:树根   表达   有关   基本   src   code   规约   http   ima   

原文地址:https://www.cnblogs.com/ggotransfromation/p/11616652.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!