1. Lenguaje especializado que se utiliza para describir una lengua natural; 2. Lenguaje formal que emplea símbolos especiales, utilizado para describir la sintaxis de los lenguajes de programación.