语法分析器的设计

编译原理

语法分析器的设计

◆根据某一文法编制调试 LL （ 1 ）分析程序，以便对任意输入的符号串

进行分析。

◆构造预测分析表，并利用分析表和一个栈来实现对上述程序设计语言的分

析程序。

◆分析法的功能是利用LL（1）控制程序根据显示栈栈顶内容、向前看符号

以及LL（1）分析表，对输入符号串自上而下的分析过程。

实验设计方案

1、设计思想

（1）、LL（1）文法的定义

LL(1)分析法属于确定的自顶向下分析方法。LL(1)的含义是：第一个L表明自顶向下分析是从左向右扫描输入串，第2个L表明分析过程中将使用最左推导，1表明只需向右看一个符号便可决定如何推导，即选择哪个产生式(规则)进行推导。

LL(1)文法的判别需要依次计算FIRST集、FOLLOW集和SELLECT集,然后判断是否为LL(1)文法,最后再进行句子分析。

需要预测分析器对所给句型进行识别。即在LL(1)分析法中，每当在符号栈的栈顶出现非终极符时，要预测用哪个产生式的右部去替换该非终极符；当出现终结符时，判断其与剩余输入串的第一个字符是否匹配，如果匹配，则继续分析，否则报错。LL(1)分析方法要求文法满足如下条件：对于任一非终极符A的两个不同产生式A→α,A→β，都要满足下面条件：SELECT(A→α)∩SELECT(A→β)=∅

（2）、预测分析表构造

LL(1)分析表的作用是对当前非终极符和输入符号确定应该选择用哪个产生式进行推导。它的行对应文法的非终极符，列对应终极符，表中的值有两种：一是产生式的右部的字符串，一是null。若用M表示LL(1)分析表，则M可表示如下：

M: VN×VT→P∪{Error}

M(A, t) = A→α，当t∈select(A→α) ，否则

M(A, t) = Error

其中P表示所有产生式的集合。

（3）、语法分析程序构造

LL(1)分析中X为符号栈栈顶元素，a为输入流当前字符，E为给定测试数据的开始符号，#为句子括号即输入串的括号。分析表用一个二位数组M表示，数组元素M[A，a]中的下标A表示非终结符，a为终结符或句子括号‘#’，二维数组中存放的是一条关于A 的产生式，表明当非终结符A向下推导时，面临输入符a时，所采用的候选产生式，当元素内容无产生式时，则表明用A 的左部向下推导时出现了不该出现的符号，因此元素内容转向出错处理的信息。

LL(1)分析过程主要包括以下四个动作：

替换：当X∈VN时选相应产生式的右部β去替换X。此时X出栈，β逆序入栈。

匹配：当X∈VT时它与a进行匹配，其结果可能成功，也可能失败，如果成功则符号栈中将X退栈并将输入流指针向前移动一位，否则报错。

接受：当格局为（#，空#）时报告分析成功。

报错：出错后，停止分析。并给出相应的错误提示信息。

2.程序流程图：

‘#’’E ’进栈，当前终结符号送入a

显示分析步骤A ∈Vt?A=‘#’？产生式不存在？

若产生式为

A →A1A2…An,按逆序即[An …A2A1]入栈

产生式右部为空？出错

A=‘a ’？

读入下一符号

出错

N

Y Y

N

N Y

Y Y

N

输入要分析的字符串

判断字符串是否

正确

Y

N 显示栈中内容

显示剩余输入

串

显示产生式N Y

匹配字符串？

接受

N

Y

3、实验程序

（1）分析栈类：

public class stack {

private char s[];

private int top;

public stack() {

s = new char[200];

s[0] = '#';

top = 0;

}

char getTop() {

return s[top];

}

void push(String str) {

for (int i = str.length() - 1; i >= 0; i--) {

s[++top] = str.charAt(i);

}

}

void clear() {

top = 0;

}

char pop() {

if (top != 0) {

top--;

}

return s[top];

}

public String toString() {

String tmp = "";

for (int i = 0; i <= top; i++) {

tmp += s[i];

}

return tmp;

}

}

（2）语法分析器类：

public class anlysis {

//分析表

private String tab[][] = { { "$", "+", "-", "*", "/", "(", ")", "i", "#" },

{ "E", "$", "$", "$", "$", "TG", "$", "TG", "$" },

{ "G", "+TG", "-TG", "$", "$", "$", "ε", "$", "ε" },