从 cfg 转换为 LL1

Question

函数-> Type identifier ( ArgList ) CompoundStmt
ArgList -> Arg | ArgList , Arg -> Arg | ArgList , Arg
Arg -> Type identifier Stmt -> WhileStmt | Expr ; | CompoundStmt | Declaration | IfStmt | ; -> WhileStmt | Expr ; | CompoundStmt | Declaration | IfStmt | ; 声明-> Type identifier; 类型-> int | float -> int | float
WhileStmt -> while ( BoolExpr ) Stmt
IfStmt -> if ( BoolExpr ) Stmt ElsePart ElsePart -> else Stmt | epsilon -> else Stmt | epsilon CompoundStmt -> { StmtList } StmtList -> StmtList Stmt | epsilon -> StmtList Stmt | epsilon BoolExpr -> identifier Compare Mag比较-> == | < | > | <= | >= | <> -> == | < | > | <= | >= | <> -> == | < | > | <= | >= | <> Expr -> identifier = Mag Mag -> Mag + Term | Mag – Term | Term -> Mag + Term | Mag – Term | Term -> Mag + Term | Mag – Term | Term Term -> Term * Factor | Term / Factor | Factor -> Term * Factor | Term / Factor | Factor -> Term * Factor | Term / Factor | Factor因子-> ( Expr ) | identifier | number -> ( Expr ) | identifier | number