edit Simple.bnf to understand symbol=digit;