Una gramática de dos niveles es una gramática formal que se utiliza para generar otra gramática formal [1] , como una con un conjunto de reglas infinito [2] . Así es como se utilizó una gramática de Van Wijngaarden para especificar el Algol 68 [3] . Una gramática libre de contexto que define las reglas para una segunda gramática puede producir un conjunto de reglas efectivamente infinito para la gramática derivada. Esto hace que las gramáticas de dos niveles sean más poderosas que una sola capa de gramática libre de contexto, porque se ha demostrado que las gramáticas generativas de dos niveles son Turing completas . [1]
La gramática de dos niveles también puede referirse a una gramática formal para un lenguaje formal de dos niveles, que es un lenguaje formal especificado en dos niveles, por ejemplo, los niveles de palabras y oraciones. [ cita requerida ]