1

例 1 ：

拓广文法 :（ 0 ） S’ S（ 1 ） S aSSb （ 2 ） S aSSS（ 3 ） S c

2

S’ → · S

S → · aSSb

S → · aSSS

S → · c

S’ → S ·

S → c · S → aSSS ·

S → aSS · bS → aSS · SS → · aSSbS → · aSSSS →· c

S → aSSb ·

S → aS · SbS → aS · SSS → · aSSbS → · aSSSS →· c

S → a ·SSb

S → a ·SSS

S → · aSSb

S → · aSSS

S →· c

Sc

a

c

a

S

c

a

a

c

b

SS

3

例 2 ：

拓广文法 :（ 0 ） S’ S（ 1 ） S ( S R （ 2 ） S a（ 3 ） S , S R（ 4 ） R )

4

S’ → · S

S → · (SR

S → · a

S’ → S · S → ( · SR

S → · (SR

S → · a

R → ) ·

R→ , · SRS → · (SRS → · a

R→ , S · RR → · ,SRS → · )

S → (S · RS → · ,SRS → · )

S → a ·

S (

a

(

Ra S

,

)

R

)S

R → ,SR ·

S → (SR·

(

,

a

0

1 2

3

4 6

5

7

8

9

5

ACTION GOTO

（ ） a , $ S R

0 S2 S3 1

1 acc

2 S2 S3 4

3 R2 R2 R2 R2 R2

4 S6 S5 7

5 S2 S3 8

6 R4 R4 R4 R4 R4

7 R1 R1 R1 R1 R1

8 S6 S5 9

9 R3 R3 R3 R3 R3

–无移进 -归约和归约 -归约冲突，是 LR（ 0）文法

LR（ 0）分析表

6

例 3 ：

拓广文法 :（ 0 ） S’ S（ 1 ） S S a b （ 2 ） S b R（ 3 ） R S （ 4 ） R a

7

S’ → · S

S → · Sab

S → · bR

S’ → S ·

S → S ·ab

S → Sab ·

S→ b · R R → · S R → · aS → · SabS → · bR

S → b R ·

S → Sa · b

S

a

R

S

a

b

R → S ·S → S · ab

R → a ·

b

0

13

2

4

5

7

6

a

b

8

ACTION GOTO

a b $ S R

0 S2 1

1 S3 Acc

2 S5 S2 6 7

3 S4

4 R1 R1

5 R4 R4

6 R3,S3 R3

7 R2 R2

8

–不是 SLR文法

SLR

分析表

9

例 4 ：

拓广文法 :（ 0 ） S’ S（ 1 ） S a S A B

（ 2 ） S B A（ 3 ） A a A

（ 4 ） A B （ 5 ） B b

10

S’ → · S

S → · aSAB

S → · BA

B → · b

S’ → S ·

S → a · SAB

S → · aSAB

S → · BA

B → · b

S → aSA · BB → · b

S→ B· AA → · aAA → · a

A→ a · AA → · aAA → · B

S → aS · ABA → · aAA → · B

S → BA ·

S a

(

S

a

B

)

A

B → b ·

S → aSAB·

a

a

B

0

1

5

4

68

11

10

A → aA ·

A → B·

2

3

B

A

BB

9

7

a

A

B b

11

ACTION GOTO

a b $ S A B

0 S2 1 3

1 Acc

2 S2 4 3

3 S7 5 6

4 S7 8 6

5 R2 R2 R2

6 R4 R4 R4

7 S7 9 6

8 S11 10

9 R3 R3 R3

10 R1 R1 R1

11 R5 R5 R5

–无移进 -归约和归约 -归约冲突，是 LR（ 0）文法，也是 SLR文法

SLR

分析表