|3.设有文法 G[2]: Z→aAc A→b/bB B-eldB (1)试构造识别此文法的可归前级的确定有穷自动机FA。 (2)试构造SLR(1)分析表。 (3)分析符号串abec是否为此文法的句子。
时间: 2023-06-26 16:09:39 浏览: 59
(1) 可归前级的确定有穷自动机FA如下:
<img src="./images/automaton.png" width="300"/>
(2) SLR(1)分析表如下:
| | a | b | c | d | e | A | B | C | $ |
|---|-------|-------|-------|-------|-------|--------|--------|--------|-------|
| 0 | s2 | s3 | | | | | | | |
| 1 | | | | | | | | | acc |
| 2 | | | | | | s4 | | | |
| 3 | | | | | | r2 | s5 | r2 | r2 |
| 4 | s2 | s3 | | | | | s6 | | |
| 5 | r1 | r1 | r1 | r1 | r1 | | | | r1 |
| 6 | | | s7 | | | | | | |
| 7 | r3 | r3 | r3 | r3 | r3 | | | | r3 |
其中,s表示移进,r表示规约,acc表示接受。
(3) 对符号串abec进行SLR(1)分析:
| 栈 | 符号 | 输入 | 动作 |
|-----|------|------|--------------|
| 0 | | abec$| 移进 s2 |
| 02 | a | bec$ | 移进 s3 |
| 023 | ab | ec$ | 规约 B→b |
| 02B | aB | ec$ | 移进 s6 |
| 02B6| aBe | c$ | 移进 s7 |
| 02B67| aBec | $ | 规约 C→aAc |
| 02A | | $ | 接受 |
因此,符号串abec是此文法的句子。