rllparser.txt

这是我们老师给我们的例子

                                 Program   ->CompoundStmt
                            CompoundStmt   ->{ Stmts }
         {
                                   Stmts   ->Stmt Stmts
                                    Stmt   ->AssigStmt
                               AssigStmt   ->id = ArithExpr ;
        id
         =
                               ArithExpr   ->MulExpr ArithExprPrime
                                 MulExpr   ->SimpleExpr MulExprPrime
                              SimpleExpr   ->num
       num
                            MulExprPrime   ->ε
                                      ε
                          ArithExprPrime   ->ε
                                      ε
         ;
                                   Stmts   ->Stmt Stmts
                                    Stmt   ->AssigStmt
                               AssigStmt   ->id = ArithExpr ;
        id
         =
                               ArithExpr   ->MulExpr ArithExprPrime
                                 MulExpr   ->SimpleExpr MulExprPrime
                              SimpleExpr   ->num
       num
                            MulExprPrime   ->ε
                                      ε
                          ArithExprPrime   ->ε
                                      ε
         ;
                                   Stmts   ->Stmt Stmts
                                    Stmt   ->AssigStmt
                               AssigStmt   ->id = ArithExpr ;
        id
         =
                               ArithExpr   ->MulExpr ArithExprPrime
                                 MulExpr   ->SimpleExpr MulExprPrime
                              SimpleExpr   ->num
       num
                            MulExprPrime   ->ε
                                      ε
                          ArithExprPrime   ->ε
                                      ε
         ;
                                   Stmts   ->Stmt Stmts
                                    Stmt   ->AssigStmt
                               AssigStmt   ->id = ArithExpr ;
        id
         =
                               ArithExpr   ->MulExpr ArithExprPrime
                                 MulExpr   ->SimpleExpr MulExprPrime
                              SimpleExpr   ->num
       num
                            MulExprPrime   ->ε
                                      ε
                          ArithExprPrime   ->ε
                                      ε
         ;
                                   Stmts   ->Stmt Stmts
                                    Stmt   ->AssigStmt
                               AssigStmt   ->id = ArithExpr ;
        id
         =
                               ArithExpr   ->MulExpr ArithExprPrime
                                 MulExpr   ->SimpleExpr MulExprPrime
                              SimpleExpr   ->num
       num
                            MulExprPrime   ->ε
                                      ε
                          ArithExprPrime   ->ε
                                      ε
         ;
                                   Stmts   ->Stmt Stmts
                                    Stmt   ->WhileStmt
                               WhileStmt   ->while ( BoolExpr ) Stmt
     while
         (
                                BoolExpr   ->ArithExpr BoolOp ArithExpr
                               ArithExpr   ->MulExpr ArithExprPrime
                                 MulExpr   ->SimpleExpr MulExprPrime
                              SimpleExpr   ->id
        id
                            MulExprPrime   ->ε
                                      ε
                          ArithExprPrime   ->ε
                                      ε
                                  BoolOp   ->>
         >
                               ArithExpr   ->MulExpr ArithExprPrime
                                 MulExpr   ->SimpleExpr MulExprPrime
                              SimpleExpr   ->num
       num
                            MulExprPrime   ->ε
                                      ε
                          ArithExprPrime   ->ε
                                      ε
         )
                                    Stmt   ->CompoundStmt
                            CompoundStmt   ->{ Stmts }
         {
                                   Stmts   ->Stmt Stmts
                                    Stmt   ->AssigStmt
                               AssigStmt   ->id = ArithExpr ;
        id
         =
                               ArithExpr   ->MulExpr ArithExprPrime
                                 MulExpr   ->SimpleExpr MulExprPrime
                              SimpleExpr   ->id
        id
                            MulExprPrime   ->ε
                                      ε
                          ArithExprPrime   ->+ MulExpr ArithExprPrime
         +
                                 MulExpr   ->SimpleExpr MulExprPrime
                              SimpleExpr   ->num
       num
                            MulExprPrime   ->ε
                                      ε
                          ArithExprPrime   ->ε
                                      ε
         ;
                                   Stmts   ->Stmt Stmts
                                    Stmt   ->AssigStmt
                               AssigStmt   ->id = ArithExpr ;
        id
         =
                               ArithExpr   ->MulExpr ArithExprPrime
                                 MulExpr   ->SimpleExpr MulExprPrime
                              SimpleExpr   ->id
        id
                            MulExprPrime   ->ε
                                      ε
                          ArithExprPrime   ->- MulExpr ArithExprPrime
         -
                                 MulExpr   ->SimpleExpr MulExprPrime
                              SimpleExpr   ->num
       num
                            MulExprPrime   ->ε
                                      ε
                          ArithExprPrime   ->ε
                                      ε
         ;
                                   Stmts   ->ε
                                      ε
         }
                                   Stmts   ->Stmt Stmts
                                    Stmt   ->IfStmt
                                  IfStmt   ->if ( BoolExpr ) then Stmt else Stmt
        if
         (
                                BoolExpr   ->ArithExpr BoolOp ArithExpr
                               ArithExpr   ->MulExpr ArithExprPrime
                                 MulExpr   ->SimpleExpr MulExprPrime
                              SimpleExpr   ->id
        id
                            MulExprPrime   ->ε
                                      ε
                          ArithExprPrime   ->ε
                                      ε
                                  BoolOp   ->>=
        >=
                               ArithExpr   ->MulExpr ArithExprPrime
                                 MulExpr   ->SimpleExpr MulExprPrime
                              SimpleExpr   ->num
       num
                            MulExprPrime   ->ε
                                      ε
                          ArithExprPrime   ->ε
                                      ε
         )
      then
                                    Stmt   ->AssigStmt
                               AssigStmt   ->id = ArithExpr ;
        id
         =
                               ArithExpr   ->MulExpr ArithExprPrime
                                 MulExpr   ->SimpleExpr MulExprPrime
                              SimpleExpr   ->id
        id
                            MulExprPrime   ->ε
                                      ε
                          ArithExprPrime   ->+ MulExpr ArithExprPrime
         +
                                 MulExpr   ->SimpleExpr MulExprPrime
                              SimpleExpr   ->id
        id
                            MulExprPrime   ->ε
                                      ε
                          ArithExprPrime   ->ε
                                      ε
         ;
      else
                                    Stmt   ->CompoundStmt
                            CompoundStmt   ->{ Stmts }
         {
                                   Stmts   ->Stmt Stmts
                                    Stmt   ->AssigStmt
                               AssigStmt   ->id = ArithExpr ;
        id
         =
                               ArithExpr   ->MulExpr ArithExprPrime
                                 MulExpr   ->SimpleExpr MulExprPrime
                              SimpleExpr   ->id
        id
                            MulExprPrime   ->* SimpleExpr MulExprPrime
         *
                              SimpleExpr   ->( ArithExpr )
         (
                               ArithExpr   ->MulExpr ArithExprPrime
                                 MulExpr   ->SimpleExpr MulExprPrime
                              SimpleExpr   ->id
        id
                            MulExprPrime   ->ε
                                      ε
                          ArithExprPrime   ->+ MulExpr ArithExprPrime
         +
                                 MulExpr   ->SimpleExpr MulExprPrime
                              SimpleExpr   ->num
       num
                            MulExprPrime   ->ε
                                      ε
                          ArithExprPrime   ->ε
                                      ε
         )
                            MulExprPrime   ->ε
                                      ε
                          ArithExprPrime   ->ε
                                      ε
         ;
                                   Stmts   ->Stmt Stmts
                                    Stmt   ->AssigStmt
                               AssigStmt   ->id = ArithExpr ;
        id
         =
                               ArithExpr   ->MulExpr ArithExprPrime
                                 MulExpr   ->SimpleExpr MulExprPrime
                              SimpleExpr   ->id
        id
                            MulExprPrime   ->ε
                                      ε
                          ArithExprPrime   ->+ MulExpr ArithExprPrime
         +
                                 MulExpr   ->SimpleExpr MulExprPrime
                              SimpleExpr   ->id
        id
                            MulExprPrime   ->ε
                                      ε
                          ArithExprPrime   ->ε
                                      ε
         ;
                                   Stmts   ->ε
                                      ε
         }
                                   Stmts   ->Stmt Stmts
                                    Stmt   ->IfStmt
                                  IfStmt   ->if ( BoolExpr ) then Stmt else Stmt
        if
         (
                                BoolExpr   ->ArithExpr BoolOp ArithExpr
                               ArithExpr   ->MulExpr ArithExprPrime
                                 MulExpr   ->SimpleExpr MulExprPrime
                              SimpleExpr   ->id
        id
                            MulExprPrime   ->ε
                                      ε
                          ArithExprPrime   ->ε
                                      ε