实验三 LR1分析法 JAVAWord文档下载推荐.docx
《实验三 LR1分析法 JAVAWord文档下载推荐.docx》由会员分享,可在线阅读,更多相关《实验三 LR1分析法 JAVAWord文档下载推荐.docx(40页珍藏版)》请在冰豆网上搜索。
uACTION[i,a]规定了栈顶状态为i时遇到输入符号a应执行。
动作有四种可能:
(1)移进:
action[i,a]=Sj:
状态j移入到状态栈,把a移入到文法符号栈,其中i,j表示状态号。
(2)归约:
action[i,a]=rk:
当在栈顶形成句柄时,则归约为相应的非终结符A,即文法中有A-B的产生式,若B的长度为R(即|B|=R),则从状态栈和文法符号栈中自顶向下去掉R个符号,即栈指针SP减去R,并把A移入文法符号栈内,
j=GOTO[i,A]移进状态栈,其中i为修改指针后的栈顶状态。
(3)接受acc:
当归约到文法符号栈中只剩文法的开始符号S时,并且输入符号串已结束即当前输入符是'
#'
,则为分析成功。
(4)报错:
当遇到状态栈顶为某一状态下出现不该遇到的文法符号时,则报错,说明输入端不是该文法能接受的符号串。
四、实验要求
1、编程时注意编程风格:
空行的使用、注释的使用、缩进的使用等。
2、如果遇到错误的表达式,应输出错误提示信息。
3、程序输入/输出实例:
输入一以#结束的符号串(包括+—*/()i#):
在此位置输入符号串输出过程如下:
步骤 状态栈 符号栈 剩余输入串 动作
1 0 # i+i*i# 移进
i+i*i的LR分析过程
步骤
状态栈
符号栈
输入串
动作说明
1
#
i+i*i#
ACTION[0,i]=S5,状态5入栈
2
05
#i
+i*i#
r6:
F→i归约,GOTO(0,F)=3入栈
3
03
#F
r4:
T→F归约,GOTO(0,T)=3入栈
4
02
#T
r2:
E→T归约,GOTO(0,E)=1入栈
5
01
#E
ACTION[1,+]=S6,状态6入栈
6
016
#E+
i*i#
ACTION[6,i]=S5,状态5入栈
7
0165
#E+i
*i#
F→i归约,GOTO(6,F)=3入栈
8
0163
#E+F
T→F归约,GOTO(6,T)=9入栈
9
0169
#E+T
ACTION[9,*]=S7,状态7入栈
10
01697
#E+T*
i#
ACTION[7,i]=S5,状态5入栈
11
016975
#E+T*i
F→i归约,GOTO(7,F)=10入栈
12
0169710
#E+T*F
r3:
T→T*F归约,GOTO(6,T)=9入栈
13
r1:
E→E+T,GOTO(0,E)=1入栈
14
Acc:
分析成功
4、输入符号串为非法符号串(或者为合法符号串)
算术表达式文法的LR分析表
状态
ACTION
GOTO
i
+
*
(
)
E
T
F
S5
S4
S6
acc
r2
S7
r4
r6
S11
r1
r3
r5
5、实验源程序
LR.java
importjavax.swing.*;
importjava.awt.Dimension;
importjavax.swing.JButton;
importjava.awt.Rectangle;
importjava.util.Vector;
importjavax.swing.JTextArea;
importjavax.swing.JTextField;
importjavax.swing.JLabel;
importjavax.swing.JMenuBar;
importjavax.swing.JMenu;
importjavax.swing.JMenuItem;
importjavax.swing.JScrollPane;
importjava.awt.BorderLayout;
importjavax.swing.JDialog;
publicclassLRextendsJFrame{
privatestaticfinallongserialVersionUID=1L;
//*********************************
privatechar[]VN =newchar[50];
//非终结符集privatechar[]VT =newchar[50];
//终结符集privateString[]F =newString[50];
//产生式集
privateStringBuffer[]FirstVN;
//非终结符的First集privateint []staStack =newint[50];
//状态分析栈privatechar[]symStack =newchar[50];
//符号分析栈
privateboolean[]VNE;
//非终结符与空串的关系
表
privateint F_index =0;
//产生式数组指针
privateint staStack_index=0;
//状态栈指针
privateint symStack_index=0;
//符号栈指针privateint ERROR =Integer.MAX_VALUE;
//出错标志privatechar emp ='
ε'
;
//空串
privateStringerror ="
x"
//分析表显示的出错标志
// @jve:
decl-index=0:
privateStringacc ="
acc"
//分析表显示的分析成功标志
privateVector<
Vector<
String>
>
State =newVector<
();
//项目集 // @jve:
privateint [][]Action;
//Action动作数组
privateint [][]Goto;
//Goto动作数组
privateStringBuffer []bridge1;
//描述项目集之间的转换
关系,在createLR1()中初始化
privateint [][]bridge2;
privateJPaneljContentPane=null;
privateJTextAreajTextArea4=null;
privateJTextAreajTextArea3=null;
privateJTextAreajTextArea2=null;
privateJTextAreajTextArea_LR1States=null;
privateJTextAreajTextArea_LR1AnalysisTable=null;
privateJTextFieldjTextField=null;
privateJTextFieldjTextField1=null;
privateJTextFieldjTextField_testedString=null;
privateJLabeljLabel=null;
privateJLabeljLabel1=null;
privateJLabeljLabel_LR1States=null;
privateJLabeljLabel_inputString=null;
privateJButtonjButton_test=null;
privateJButtonjButton_ok=null;
privateJButtonjButton_delete=null;
privateJButtonjButton_clearall=null;
privateJButtonjButton_testPanel=null;
privateJMenuBarjJMenuBar=null;
privateJMenujMenu1=null;
privateJMenuItemjMenuItem1=null;
privateJMenuItemjMenuItem2=null;
privateJScrollPanejScrollPane_LR1States=null;
privateJScrollPanejScrollPane_LR1AnalysisTable=null;
privateJScrollPanejScrollPane2=null;
privateJScrollPanejScrollPane3=null;
privateJScrollPanejScrollPane4=null;
privateJPaneljPanel=null;
privateJPaneljPanel1=null;
privateJLabeljLabel_LR1AnalysisTable=null;
privateJButtonjButton_fresh=null;
privateJButtonjButton_TransFunGraph=null;
private JFrame jFrame_testFrame = null;
// @jve:
decl-index=0:
visual-constraint