prog -> { decs stms } decs -> dec decs | dec -> type id ; type -> int | bool stms -> stm stms | stm -> id = exp ; | printi(exp) ; | printb(exp) ; exp -> intnum | true | false | id | (exp) | exp + exp | exp - exp | exp * exp | exp / exp | exp && exp | exp || exp