Probada la funcionalidad, ya se pueden definir gramáticas