BNF

commit BNF de alejandro con alguna corrección.