习题三

习题三

程序语言的语义：上下文有关文法（P35）

1、程序语言的语义需要用（上下文有关文法）来描述

形式语言分类

0型文法与0型语言（对应图灵机）
1型文法和1型语言（对应线性界限自动机，自然语言）
2型文法与2型语言（对应下推自动机，程序设计语言）
3型文法与3型语言（对应有限自动机，正规语言）

区别：1~3型文法都属于0型文法，2、3型文法不一定属于1型文法，3型文法属于2型文法

题目：
2型文法对应（下推自动机）
1型语言∈0型语言
有限状态自动机能够识别正规文法

句柄

最左简单子树的末端节点组成的符号串。

语法树

根节点用文法G[S]的开始符S标记
每个结点用G[S]的一个终结符或非终结符标记
如果某结点标记为E，则它的必为叶节点
内部节点一定是非终结符

句型

文法开始符S经过零步或多步推导产生的符号序列是（句型）

二义性

如果文法G[S]无二义的，则它的任何句子α其（最左腿到和最右推导对应的语法树必定相同）

分析树

一个句型的分析树代表了该句型的（归约过程）

可归约串

规范归约中的“可归约串”由（最左直接短语）定义

规范归约

规范归约是最右推导的逆过程

采用自顶向下分析

采用自顶向下分析，必须（消除左递归）
确定自顶向下分析要求文法满足（不含左递归，不含二义性，无回溯）

递归下降

递归下降分析器由一组递归函数租场，且每一个函数对应文法的（一个非终结符）

具体的内容在书上47面

LL(1)分析表

ll(1)分析表需要预先定义和构造两族与文法有关的集合（FIRST和FOLLOW）

算符优先文法

算符优先文法首先是一个算符文法，即文法的产生式中国不含两个及两个以上相继在一起的非终结符；且文法中的任何两个终结符a和b之间至多满足三种关系式之一。

任何算法优先文法（可能有若干个）优先函数
有些算符优先文法不存在优先函数；有些算符优先文法存在优先函数，且只要存在一对优先函数，就存在无穷多对优先函数。

在算符优先分析中，用（最左素短语）来刻画可约束串

最左素短语必须具备的三个条件是：（1）至少包含一个终结符，（2）除自身外不得包含其他素短语（3）在句型中具有最左性