PROGRAM → STMTS
STMTS → STMT| STMT ; STMTS
STMT → id = EXPR
EXPR → EXPR + TERM | EXPR - TERM | TERM
TERM → TERM * FACTOR | TERM / FACTOR | FACTOR
FACTOR → ( EXPR ) | id | integer

PROGRAM -> STMTS
STMTS -> STMT | STMT ; STMTS
STMT -> id = EXPR
EXPR -> EXPR + TERM | EXPR - TERM | TERM
TERM -> TERM * CURR | TERM / CURR | CURR
CURR -> TEMP ^ CURR | TEMP
TEMP -> ++ FACTOR | -- FACTOR | FACTOR
FACTOR -> ( EXPR ) | id | integer

PROGRAM -> STMTS
STMTS -> STMT | STMT ; STMTS
STMT -> id = EXPR
EXPR -> TERM EXPR'
TERM -> FACTOR TERM'
FACTOR -> CURR ^ FACTOR | CURR
CURR -> ++ TEMP | -- TEMP | TEMP
TEMP -> ( EXPR ) | id | integer
EXPR' -> + TERM EXPR' | - TERM EXPR' | ϵ
TERM' -> * FACTOR TERM' | / FACTOR TERM' | ϵ

PROGRAM -> STMTS
STMTS -> STMT STMTS'
STMT -> id = EXPR
EXPR -> TERM EXPR'
TERM -> FACTOR TERM'
FACTOR -> CURR FACTOR'
CURR -> ++ TEMP | -- TEMP | TEMP
TEMP -> ( EXPR ) | id | integer
EXPR' -> + TERM EXPR' | - TERM EXPR' | ϵ
TERM' -> * FACTOR TERM' | / FACTOR TERM' | ϵ
STMTS' -> ϵ | ; STMTS
FACTOR' -> ^ FACTOR | ϵ