A formal language is a set of strings formed from an alphabet according to explicit rules of syntax. Formal languages are used in logic, automata theory, programming language design, and computational linguistics.
A set of words whose letters are taken from an alphabet and are well-formed according to a specific set of rules.