Métalangage, à la fois syntaxique et sémantique, qui est utilisé pour définir d’autres langages.