Main = String. Ex ~ {Expression} EOF. Expression ~ Term {"+" Term}. Term ~ Factor {"*" Factor}. Factor : Variable | Compound . Compound = "(" Expression ")". Variable = Ident.