polynomial ::= term ("+" term)*
  term ::= factor ("*" factor)*
  factor ::= constant | variable | "(" polynomial ")"