metalanguage

A metalanguage is a language that is used to describe the syntax of statements written in programming languages. It is a language used to describe a programming language.