编译原理中的文法及二义性研究.pdfVIP

堡里鱼堕尘信息技术编译原理中文法是个非常重要的概念。 没有文法形式语言和自动机理论就无法实现描述。而文法的 二义性是一种常见的现象有些文法甚至是先天二义性的本 文从文法的定义及语法树、文法的二义性、如何消除文法的 二义性等个方面进行了分析。一、文法的定义及语法树文法 是描述语言的语法结构的形式规则即语法规则。一个上下文 无关文法包括四个组成部分一组终结符号一组非终结符一 个开始符号以及一组产生式。在程序语言中我们最终感兴趣 的是 “程序 ”这个语法范畴而其他的语法范畴都只不过是构造 “程序 ”的一块块砖石。产生式也称为产生规则或简称规则是 定义语法范畴的一种书写规则。一个产生式的形式是 — 其中 箭头左边的是一个终结符称为产生式的左部符号箭头右边 的 是终结符号或与非终结符号组成的一符号串称为产生 式的右部。形式上定义一个上下文无关文法是一个四元式。 其中 是一个非空有限集它的每一个元素称为终结符号是 一个非空有限集它的每一个元素称为非终结符号。 是一 个非终结符号称为开始符号是一个产生式有限集合每个产 生式形式是咆其中∈ 开始符号至少必须在某一产生式的 左部出现一次。假定是一个文法是它的开始符号。如果事表 示从发经步或若干步可推出则称【是一个句型。仅含终结符 号的句型是一个句子。文法所产生的句子的全体是一个语言 将它记为。 ∈例如终结符号串是文法。 — 的一 个句子。是因为有等从开始符号至的一个推导。而、、等是 文法的句型。潲撇稳固昌器镫四窝团第七一三研究所张志红 朱晨光二、文法的二义性如果对于某文法的同一个句子存在 两棵不同的语法树则该句子是二义性的。而该文法是二义性 文法。这里的二义性是指语法结构上的。如果一个句子具有 二义性。那么对这个句子的结构可能有多种 “正确 ”的解释。 通常情况下句子的语义要通过其语法结构来定义所以二义 性一般是有害的。一般来讲二义性是针对文法而言的。说语 言二义性是无意义的。例如考虑表达式下面的文法其产生式 如下 — 对于句子存在如下两个最左推导争争 木争木木 ’ 水争宰 ’? 9? 9 争木 ’木由于句型有不同的两棵分析树因此该 文法具有二义性。再来分析以下例子在语言中将语句定义为 — — —其中代表布尔表达式 代表语句。显然。 符号串 应是述语言中的一个合法语句。但是上述 句子却存在两种不同的理解即存在两种不同的最右推导 或 对应于这两种理解将存在两棵不 同的语法树。因此此文法是二义性的。语言中的语句亦有类 似的情况。由此可见二义性是一种常见的现象。显然对于编 译程序而言我们自然要求它们所处理的语言是用无二义性 的文法来定义的。三、如何消除文法的二义性一个文法兼有 左递归和右递归是导致其二义性的最常见原因之一。由于同 一个语言可能由若干个等价的文法来定义。因此若一个语言 由某一文法定 万方数据 Ⅺ国信息技术郑州大学信息程 学院舒畅赵东明东华大学信息科学与技术学院沈今括目前 有许多网站的 浏览服务器的安全性都不是很高而且 一些安全设施也不是很完善尤其在一些个人网站、学校及政 府机关的网站中因为在这些部门中往往服务器的软硬件设 施都比较陈旧但同时这些部门的网络信息又都相当重要如 遇黑客攻击破坏后果将非常严重因此对一些重要数据文件 采取更进一步的监控保护措施就显得尤为重要了。传统的安 全模式趋向于加强保护资源的保护层采用严格的访问控制、 访问审计、数据加密等手段进行保护。但在目前的网络环境 下强有力的安全保护层必然会削弱提供用户访问网络服务 的能力和灵活性而且在不可避免的网络威胁面前对数据和 网络的完整性保护就成为目前解决传统模式缺陷的必然选 择。因此对于一个安全的计算机系统来说保证其文件和进程 的安伞