Formal Definitions
A formal language is a set for which there exists a finite set of abstract symbols such that, where * is the Kleene star operation.
A family of languages is an ordered pair, where
- is an infinite set of symbols;
- is a set of formal languages;
- For each in there exists a finite subset ⊂ such that ⊆ ; and
- ≠ Ø for some in .
A trio is a family of languages closed under e-free homomorphism, inverse homomorphism, and intersection with regular language.
A full trio, also called a cone, is a trio closed under arbitrary homomorphism.
A (full) semi-AFL is a (full) trio closed under union.
A (full) AFL is a (full) semi-AFL closed under concatenation and the Kleene plus.
Read more about this topic: Abstract Family Of Languages
Famous quotes containing the words formal and/or definitions:
“Two clergymen disputing whether ordination would be valid without the imposition of both hands, the more formal one said, “Do you think the Holy Dove could fly down with only one wing?””
—Horace Walpole (1717–1797)
“What I do not like about our definitions of genius is that there is in them nothing of the day of judgment, nothing of resounding through eternity and nothing of the footsteps of the Almighty.”
—G.C. (Georg Christoph)