Formal languages are specially constructed symbolic systems, where the vocabulary and rules are precisely and carefully defined. A formal language is normally defined by an alphabet and rules of formation. The alphabet of a formal language is a set of symbols on which the language is built. The formation rules specify which strings of symbols count as well-formed.
