What is the meaning of Formal_language?

A set of finite strings (called words) made of symbols (from a finite set of symbols, called an alphabet).

Mirte Dekkers (2008 December) Stone Duality : An application in the theory of formal languages, Prof. dr. Mai Gehrke, retrieved 2019-05-07, page 7

Source: wiktionary.org