"words"). Words that belong to a particular formal language are sometimes called ''well-formed words''. A formal language is often defined by means of a formal grammar such as a regular grammar or context-free grammar.

In computer science, formal languages are used, among others, as the basis for defining the grammars of programming languages