General varieties of tree languages

DOI10.1016/S0304-3975(98)00010-3zbMath0913.68115MaRDI QIDQ1275067

Magnus Steinby

Publication date: 12 January 1999

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

tree languagessyntactic algebrasvarieties of languagesrree automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (21)

State Complexity of Kleene-Star Operations on Trees ⋮ Axiomatizing the equational theory of regular tree languages ⋮ Tree algebras and varieties of tree languages ⋮ Aperiodicity in Tree Automata ⋮ Finite-state automata in information technologies ⋮ ALGEBRAIC CHARACTERIZATION OF LOGICALLY DEFINED TREE LANGUAGES ⋮ Idempotent tree languages ⋮ Algebraic recognizability of regular tree languages ⋮ Recognisability for algebras of infinite trees ⋮ Characterizing CTL-like logics on finite trees. ⋮ On the form of witness terms ⋮ Games for Temporal Logics on Trees ⋮ Characterizations of recognizable weighted tree languages by logic and bimorphisms ⋮ State Complexity of Nested Word Automata ⋮ GENERALIZED CONTEXTS AND n-ARY SYNTACTIC SEMIGROUPS OF TREE LANGUAGES ⋮ General varieties of tree languages ⋮ On Correspondences Between Unary Algebras, Automata, Semigroups and Congruences ⋮ Equational weighted tree transformations ⋮ Extended multi bottom-up tree transducers ⋮ Positive varieties of tree languages ⋮ Cascade Products and Temporal Logics on Finite Trees

Cites Work

• An algebraic characterization of frontier testable tree languages
• On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics
• Recognizable languages and congruences
• General varieties of tree languages
• Homomorphisms and subdirect decompositions of semigroups
• First-order properties of trees, star-free expressions, and aperiodicity
• Bottom-up and top-down tree transformations— a comparison
• Algebras for classifying regular tree languages and an application to frontier testability
• On reverse and general definite tree languages
• The Theory of Definite Automata
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: General varieties of tree languages