EBNF to YACC
