A formal language is a set of strings (which are in the language). A string is any concatenation of a string and a symbol. The empty string is a string, too. Formal languages are divided up into four classes; regular languages,&context-free languages, context sensitive languages and free languages, each one a super-class of the previous one.