conversion to ebnf using http://bottlecaps.de/convert/