1. 数组 ①约束数组类型⎯下标界是静态确定的

许多语言允许程序员规定基本数据对象的聚合,乃至聚合的聚合

文法是语言的生成系统，而自动机是语言的识别系统。自动机分为:图灵机、线性有界自动机、下推自动机、有限自动机

方法:从输入串开始,归约,直至文法开始符

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

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

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

(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)不再增大

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

一. 文法 文法是描述语言的语法结构的形式规则,必须准确,易于理解,且描述能力强