Any one of the languages that people have designed for specific purposes, such as representing mathematical ideas or computer programs; all programming languages are formal languages.

a possible infinite set of strings or computer records of finite length formed from a finite vocabulary of symbols.

A language with precisely specified syntactic rules.

An artificial, invented language of communication for application to a particular problem area. Examples are computer programming languages and COMMAND LANGUAGES for information retrieval.

In mathematics, logic, and computer science, a formal language is a language that is defined by precise mathematical or machine processable formulas. A formal language \boldsymbol{L} is typically characterized as a set \boldsymbol{F} of finite-length sequences of elements drawn from a specified finite set \boldsymbol{A} of symbols. Mathematically, it is an unordered pair \boldsymbol{L}=\{\boldsymbol{A},\boldsymbol{F}\}.