lnf vs ebnf