[TOC] ## 定義語句塊和語句: ``` program -> stmts -> Stmt Stmts | ε Stmt -> IfStmt | WhileStmt | ForStmt | Function | Block Block -> {Stmts} ``` 整體定義  ## 變量定義 ``` DeclareStmt -> var Variable = Expr ```  ## 變量賦值 ``` AssignStmt -> Variable = Expr ```  ## IfStmt ``` IfStmt -> If(Expr) Block | If(Expr) BLock else Block | If(Expr) Block else IfStmt // 簡化:提取公共前綴 IfStmt -> If(Expr) BLock Tail Tail -> else {BLock} | else IfStmt | ε ```  ## Function 定義 ``` Function ->func (Args) Type Block Args -> Type Variable Args | Type Variable | ε ReturnType -> Type | ε Type : int |string |void | bool |string ```