Un lenguaje que se utiliza para especificar algunos o todos los aspectos de la lengua; por ejemplo, forma de Backus-Naur.