BNF parser modified. Special characters now usable in terminals if preceded by backslash.