EBNF valor agregado