formal language
Technical term in computer science, logic, and linguistics for a language defined by precise syntactic rules, often without inherent meaning.
Formal languages are studied as the theoretical foundation of programming languages.
Regular expressions are used to describe a certain kind of formal language.