Given a set of symbols , the set of all strings is ,
also called the set of words.

A formal language is any subset .

Operations on Formal Languages

Definition

If is a Grammar and is the set of all Derivable Strings from ,
then is a Formal Language derived by .