LR分析器设计

给定说明语句的拓广文法G[S ]如下：

(0) S ->S (1) S->v I:T (2) I->I,i (3) I->i (4) T->r

其中v代表终结符var,r代表real。

其识别规范句型活前缀的DFA及LR(0)分析表如下:



输入

状态　　ACTION表　　GOTO表

　　v　　i　　,　　:　　r　　#　　S　　I　　T

0　　S2　　　　　　　　　　　　1　　　　

1　　　　　　　　　　　　acc　　　　　　

2　　　　S4　　　　　　　　　　　　3　　

3　　　　　　S6　　S5　　　　　　　　　　

4　　r3　　r3　　r3　　r3　　r3　　r3　　　　　　

5　　　　　　　　　　S9　　　　　　　　8

6　　　　S7　　　　　　　　　　　　　　

7　　r2　　r2　　r2　　r2　　r2　　r2　　　　　　

8　　r1　　r1　　r1　　r1　　r1　　r1　　　　　　

9　　r4　　r4　　r4　　r4　　r4　　r4　　　　　　

编程实现此文法的LR分析器，并设输入的文法的句子为：

var i , i , i : real

给出输出结果

-LR parser design

Given that statement, The Extension of the grammar G [S　] as follows:

(0) S -> S (1) S-> v I: T (2) I-> I, i (3) I-> i (4) T-> r

One representative of terminator v var, r representative of real.

Living patterns of its identification Specification prefix DFA and LR (0) analysis as follows:



Input

GOTO table table status ACTION

v i,: r# S I T

0 S2 1

1 acc

2 S4 3

3 S6 S5

4 r3 r3 r3 r3 r3 r3

5 S9 8

6 S7

7 r2 r2 r2 r2 r2 r2

8 r1 r1 r1 r1 r1 r1

9 r4 r4 r4 r4 r4 r4

Programming LR parser article law, and set the input sentence is the grammar:

var i, i, i: real

Given output