第五章LL(1)文法及其分析程序 5.1预测分析程序 5.2LL(1)文法

◼ 确定型有穷自动机(DFA) ◼ 非确定型有穷自动机(NFA) ◼ 带ε转移的NFA(ε-NFA) ◼ 用ε-NFA模拟右线性文法 ◼ 用右线性文法模拟DFA

据统计，在世界各地，人们所使用的语言达2700多种。 什么是语言？ – Webster的定义：“为相当大地区的公众所懂得并 使用的‘话’，以及组成这些‘话’的方法的统一 体” – 上述定义对于建立语言的数学理论而言不够精确。 另一定义：“某一字母表上符号串（句子）的集合” 仍需进一步精确化：

一、字符串和形式语言 二、形式文法 三、形式文法的分类

一、上下文无关文法的重要性: 二、拥有足够强的表达力来表示大多数程序设计语言的语法。 三、可以构造有效的分析算法来检验一个给定的字符。 四、串是否是由某个上下文无关文法产生

◼ 定义形式语言的术语 ◼ 给出文法的定义和文法的分类

7.2节要点: 1.属性文法(语法制导的定义)(Syntax-Directed- Definition)。 形式:每个产生式A→a对应与之相关联的一个语义规则(semantic rules) 集合,每条规则形如b:=f(C1,2,k),其中f是一个函数,bc1C2k是该 产生式中文法符号的属性(attributes),b有两个可能:(1)是A的综合属性 (synthesized attribute),(2)是a中文法符号的继承属性(inherited attribute) 函数f通常以表达式的形式出现

一个程序设计语言是一个记号系统，如自然语言一样， 它的完整的定义应包括语法和语义两方面。所谓一个语言的语 法是指一组规则，用它可以形成和产生一个合适的程序，目前 在程序设计语言的识别中广泛使用的是上下文无关的文法。在 这理主要介绍文法和语言的概念

在第一章中已指出对于程序的语法分析和自然 语言的处理,形式化的文法描述方式起了重要 的作用。本章介绍Chomsky的文法体系,语 言的运算和运算的封闭性

描述程序语言的语法结构，需借助于上下文无关文法。文法是描述程序语言的依据，也是编译的依据。识别上下文无关文法所生成的语言的方法是语法分析的关键。本章的目的是研究这些方法