1程序单元程序执行过程中的独立调用单 元。如子程序分程序过程等。 2单元表示 编译时,一个单元的源程序

在程序中,用户用标识符定义了不少名 字来代表不同的数据对象,编译程序将这 些名字保存在符号表中。符号表除了记 录名字本身而外,还记录了与名字关联的 各种属性信息

(1)FIRSTVT集 FIRSTVT(P)={a|Pa…,或PQa…,aVT ,Q VN} 若P→a…或P→Qa…, 则aFIRSTVT(P); 若P→Q…, 则FIRSTVT(Q)FIRSTVT(P); 直至FIRSTVT(P)不再增大

1. LR(K) 分析法 自底向上的LR分析法是指从左向右扫描 输入串,每次分析由分析栈中符号及向前 搜索K个输入符号,以确定作为产生式右部 的短语(句柄)是否已在分析栈的栈顶形成, 从而决定应采取的动作。这种分析方法称 为LR(K)分析法。一般只考虑K1的情况

一、总学时：72 学时 二、适用专业：应用电子技术、通信技术、电气自动化技术、电子声像技术 等高职专业 三、教学目的及要求：

构成:下推栈,预测分析表,控制程序,输入串 1. 预测分析表 形式:M[A,a]矩阵, AVN,a VT{$} 内容:A→α或出错标志(空白)

语法分析: 自上而下(自顶而下) 自下而上(自底而上) 自顶向下语法分析法:或从开始符号出发, 找最左推导;或从根开始,构造推导树

1. SLR方法 当某个项目集形如 I={X→•b, A→•, B→•}时, 出现了移进-归 约冲突和归约-归约冲突, 可用如下方法解决, 该 方法称为SLR方法

1. 类型检查 对数据对象的类型和使用的操作是否匹配的一致性检查称为类型检查. 2. 静态检查和动态检查 ①静态检查使程序更正确更有效 ②动态检查使编程方便,但影响了可读性,且降低了执行效率

控制语句也可采用改写文法的方法 S→if B then S1 │if B then S1 else S2 │while B do S1