博客
关于我
编译原理及技术(二)——上下文无关文法及推导
阅读量:796 次
发布时间:2019-03-25

本文共 1114 字,大约阅读时间需要 3 分钟。

一、语法和语义

什么是语法?

语法是程序形式结构的规则集合,定义了程序的描述方式。它包括词法规则语法规则两部分。

词法规则

词法规则定义单词符号的形成规则,主要包括:

  • 常数、标识符、基本字、算符、界符等
  • 描述工具:有限自动机
语法规则

语法规则定义语法单位的形成规则,通常包括:

  • 表达式、语句、分程序、过程、函数、程序等
  • 描述工具:上下文无关文法

什么是语义?

语义是程序意义的规则集合,描述程序执行的目的和结果。常用的描述方法有:

  • 自然语言描述(具有二义性、含有隐含错误和不完整性)
  • 形式描述(如 πεγ-形式理论)

二、文法

文法是描述语言语法结构的规则体系,强调语言形式的规范性。常用于处理自然语言的例子:(示例:句子 "He gave me a book." 的文法规则)

三、语法描述的几个基本概念

(示例图片:语法单元、语法树、推导过程等)

四、上下文无关文法

上下文无关文法(CFG)是一个由四元组 G = (VT, VN, S, P) 定义的形式语言体系,其中:

  • VT:终结符集合
  • VN:非终结符集合
  • S:语法描述的基本形式
  • P:产生式集合

其特点是产生式中的 P 可以由终结符 a(阿尔法)自由替换,无需依赖上下文。

例如,定义仅包含 "+" 和 "*" 的算术表达式文法:

G = ( {i, +, *, (, )}, {E}, E, P )

其中 P 的产生式为:

  • E → i
  • E → E + i
  • E → E * i
  • E → (E)
  • E → (i)

五、文法推导

推导过程是从一个句型到另一个句型的过程,可能不唯一。可能使用最左推导或最右推导(最右推导也称为规范推导)。

推导过程:

  • 含a> 表示带有 a 上下文,可以自由替换。
  • "+" 表示非平方推导(至少一步)
  • "*" 表示推导(至少一步)

文法推导的结果通常以语法树的形式呈现。语法树不唯一意味着文法可能具有二义性。

六、语法树与二义性

文法的二义性(Ambiguity)是指同一个文法推导可能产生两个或多个不同的语法树。

(示例图片:二义性所致的语法树差异)

七、乔姆斯基形式语言体系

乔姆斯基在 1956 年提出了形式语言体系,包含四种文法类型:

  • 型 0 文法:没有非终结符,无法产生下 shifts(无法向后移动)
  • 型 1 文法:有一个非终结符,允许向左和向右移动
  • 型 2 文法:有多个非终结符,可以通过下 shifts 或右移[Sh Ve]
  • 型 3 文法:如型 1 文法,允许自由移动非终结符

型 2 和 型 3 文法的主要区别在于是否允许自由移动非终结符。

型 0 和 型 1 文法应用广泛,常用于描述上下文无关文法限定产生式的语法规则。

转载地址:http://wxbyk.baihongyu.com/

你可能感兴趣的文章
Mysql学习总结(61)——MySQL优化之DBA级优化整理汇总
查看>>
Mysql学习总结(62)——MySQL连接com.mysql.jdbc.exceptions.jdbc4.CommunicationsException: Communications link问题
查看>>
Mysql学习总结(63)——Mysql数据库架构方案选择与分析
查看>>
Mysql学习总结(64)——Mysql配置文件my.cnf各项参数解读
查看>>
Mysql学习总结(65)——项目实战中常用SQL实践总结
查看>>
Mysql学习总结(66)——设置MYSQL数据库编码为UTF-8
查看>>
Mysql学习总结(67)——MYSQL慢查询日志
查看>>
Mysql学习总结(68)——MYSQL统计每天、每周、每月、每年数据 SQL 总结
查看>>
Mysql学习总结(69)——Mysql EXPLAIN 命令使用总结
查看>>
Mysql学习总结(6)——MySql之ALTER命令用法详细解读
查看>>
Mysql学习总结(70)——MySQL 优化实施方案
查看>>
Mysql学习总结(71)——MySQL 重复记录查询与删除总结
查看>>
Mysql学习总结(71)——数据库介绍(MySQL安装 体系结构、基本管理)再回顾
查看>>
Mysql学习总结(72)——MySQL 开发者开发,设计规范再总结
查看>>
Mysql学习总结(73)——MySQL 查询A表存在B表不存在的数据SQL总结
查看>>
Mysql学习总结(74)——慢SQL!压垮团队的最后一根稻草!
查看>>
Mysql学习总结(75)——并发量大、数据量大的互联网业务数据库设计军规
查看>>
Mysql学习总结(76)——MySQL执行计划(explain)结果含义总结
查看>>
Mysql学习总结(77)——温故Mysql数据库开发核心原则与规范
查看>>
Mysql学习总结(78)——MySQL各版本差异整理
查看>>