We present a new approach to define boolean algebras of various language families: given a family F of infinite automata, an automaton H recognizes the set of languages accepted by all automata of F that can be mapped by morphism into H. Considering appropriate automata families, we get boolean algebras of context-free languages, indexed languages, Petri net languages, higher order indexed languages and context-sensitive languages.
展开▼
