Program -> stmt | stmt program Stmt -> assignment | while loop Assignment -> var = expr While loop -> while(condition) {program} Condition -> expr relation_op expr Expr -> term | term add_op term Term -> factor | factor mul_op term Factor -> var | cons | expr Var -> id Cons -> int_literal Relation_op -> == | != | < | <= | > | >= Add_op -> + | - Mul_op -> * | / in java language