Gramatica con formula version 1