+: +
*: *
x: x
(: (
): )
F: x
+T: +
*F: *
(E): (
T: x
F: (
T*F: x
E: x
T: (
E+T: x
T*F: (
E): x
E: (
E+T: (
E): (