Arith is simple untyped language, first exercise from Benjamin Pierce's book "Types and programming languages".
expression = term [space] ';'
term = 'zero'
| 'true'
| 'false'
| 'succ' {space} term
| 'pred' {space} term
| 'is_zero' {space} term
| 'if' {space} term {space} 'then' {space} term {space} 'else' {space} term
space = '\t' | '\n' | '\r'| '\f' | '\v' | Unicode space character