Articles by others on the same topic
An abstract family of languages is a family closed under specified operations, including union, concatenation, iteration, appropriate homomorphisms, inverse homomorphisms and intersection with regular languages. These axioms organize closure properties of formal languages.