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 .