Los modelos formales de sintaxis para la descripción de la gramática, como por ejemplo, la gramática generativa, son tipos de metalenguaje.