Lenguaje que se usa para hablar del lenguaje (metalengua). En informática, se aplica al lenguaje utilizado para describir un sistema de lenguaje de programación.