some examples in the language: (+ 1 4) (* (* 6 2) 1) and language structure: e ::= n | (op e e) op ::= + | - | * | /