Compiler-Principles-Lab/if_else_without_inner_else.txt at main · FutureYL3/Compiler-Principles-Lab · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
=== AST ===
Program
  FunctionList
    Function
      FUNCTION
      ID
      LPAREN
      RPAREN
      BEGIN
      StmtList
        Stmt
          DeclStmt
            VAR
            IdList
              ID
              IdRest
                COMMA
                ID
                IdRest
        OptSemiStmtList
          SEMI
          Stmt
            AssignStmt
              ID
              ASSIGN
              RelExpr
                Expr
                  Term
                    Factor
                      INT
                    TermRest
                  ExprRest
                RelRest
          OptSemiStmtList
            SEMI
            Stmt
              AssignStmt
                ID
                ASSIGN
                RelExpr
                  Expr
                    Term
                      Factor
                        INT
                      TermRest
                    ExprRest
                  RelRest
            OptSemiStmtList
              SEMI
              Stmt
                IfStmt
                  IF
                  RelExpr
                    Expr
                      Term
                        Factor
                          ID
                        TermRest
                      ExprRest
                    RelRest
                      GT
                      Expr
                        Term
                          Factor
                            INT
                          TermRest
                        ExprRest
                  THEN
                  StmtList
                    Stmt
                      IfStmt
                        IF
                        RelExpr
                          Expr
                            Term
                              Factor
                                ID
                              TermRest
                            ExprRest
                          RelRest
                            GT
                            Expr
                              Term
                                Factor
                                  INT
                                TermRest
                              ExprRest
                        THEN
                        StmtList
                          Stmt
                            AssignStmt
                              ID
                              ASSIGN
                              RelExpr
                                Expr
                                  Term
                                    Factor
                                      INT
                                    TermRest
                                  ExprRest
                                RelRest
                          OptSemiStmtList
                            SEMI
                        END
                        IF
                    OptSemiStmtList
                      SEMI
                  ELSE
                  StmtList
                    Stmt
                      AssignStmt
                        ID
                        ASSIGN
                        RelExpr
                          Expr
                            Term
                              Factor
                                INT
                              TermRest
                            ExprRest
                          RelRest
                    OptSemiStmtList
                      SEMI
                  END
                  IF
              OptSemiStmtList
                SEMI
                Stmt
                  ReturnStmt
                    RETURN
                    RelExpr
                      Expr
                        Term
                          Factor
                            ID
                          TermRest
                        ExprRest
                      RelRest
                OptSemiStmtList
                  SEMI
      END
    FunctionList
=== Production sequence (bottom-up) ===
IdRest -> ε
IdRest -> COMMA ID IdRest
IdList -> ID IdRest
DeclStmt -> VAR IdList
Stmt -> DeclStmt
Factor -> INT
TermRest -> ε
Term -> Factor TermRest
ExprRest -> ε
Expr -> Term ExprRest
RelRest -> ε
RelExpr -> Expr RelRest
AssignStmt -> ID ASSIGN RelExpr
Stmt -> AssignStmt
Factor -> INT
TermRest -> ε
Term -> Factor TermRest
ExprRest -> ε
Expr -> Term ExprRest
RelRest -> ε
RelExpr -> Expr RelRest
AssignStmt -> ID ASSIGN RelExpr
Stmt -> AssignStmt
Factor -> ID
TermRest -> ε
Term -> Factor TermRest
ExprRest -> ε
Expr -> Term ExprRest
Factor -> INT
TermRest -> ε
Term -> Factor TermRest
ExprRest -> ε
Expr -> Term ExprRest
RelRest -> GT Expr
RelExpr -> Expr RelRest
Factor -> ID
TermRest -> ε
Term -> Factor TermRest
ExprRest -> ε
Expr -> Term ExprRest
Factor -> INT
TermRest -> ε
Term -> Factor TermRest
ExprRest -> ε
Expr -> Term ExprRest
RelRest -> GT Expr
RelExpr -> Expr RelRest
Factor -> INT
TermRest -> ε
Term -> Factor TermRest
ExprRest -> ε
Expr -> Term ExprRest
RelRest -> ε
RelExpr -> Expr RelRest
AssignStmt -> ID ASSIGN RelExpr
Stmt -> AssignStmt
OptSemiStmtList -> SEMI
StmtList -> Stmt OptSemiStmtList
IfStmt -> IF RelExpr THEN StmtList END IF
Stmt -> IfStmt
OptSemiStmtList -> SEMI
StmtList -> Stmt OptSemiStmtList
Factor -> INT
TermRest -> ε
Term -> Factor TermRest
ExprRest -> ε
Expr -> Term ExprRest
RelRest -> ε
RelExpr -> Expr RelRest
AssignStmt -> ID ASSIGN RelExpr
Stmt -> AssignStmt
OptSemiStmtList -> SEMI
StmtList -> Stmt OptSemiStmtList
IfStmt -> IF RelExpr THEN StmtList ELSE StmtList END IF
Stmt -> IfStmt
Factor -> ID
TermRest -> ε
Term -> Factor TermRest
ExprRest -> ε
Expr -> Term ExprRest
RelRest -> ε
RelExpr -> Expr RelRest
ReturnStmt -> RETURN RelExpr
Stmt -> ReturnStmt
OptSemiStmtList -> SEMI
OptSemiStmtList -> SEMI Stmt OptSemiStmtList
OptSemiStmtList -> SEMI Stmt OptSemiStmtList
OptSemiStmtList -> SEMI Stmt OptSemiStmtList
OptSemiStmtList -> SEMI Stmt OptSemiStmtList
StmtList -> Stmt OptSemiStmtList
Function -> FUNCTION ID LPAREN RPAREN BEGIN StmtList END
FunctionList -> ε
FunctionList -> Function FunctionList
Program -> FunctionList