Abstract family of languages
= Abstract family of languages
{wiki}
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>.