xXRoque98Xx
Especificación rigurosa y explícita de la estructura de un lenguaje (No ambigua, predictiva y aplicativa)