Abstract Syntax:
E in Expression O in Operator N in Numeral E ::= N | E O E | (E) O ::= + | - | * | /
N is just set of values.