Positive varieties of tree languages

DOI10.1016/j.tcs.2005.07.026zbMath1080.68068OpenAlexW2049935716WikidataQ57533066 ScholiaQ57533066MaRDI QIDQ2576866

Tatjana Petković, Saeed Salehi

Publication date: 29 December 2005

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2005.07.026

zbMATH Keywords

tree automatatree languagesordered algebrasordered monoidsvariety theorem

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07) Applications of universal algebra in computer science (08A70) Algebraic theory of languages and automata (68Q70) Semigroups in automata theory, linguistics, etc. (20M35) Ordered rings, algebras, modules (06F25) Varieties (08B99)

Related Items (7)

Axiomatizing the equational theory of regular tree languages ⋮ Tree algebras and varieties of tree languages ⋮ Equations and Coequations for Weighted Automata ⋮ Varieties of recognizable tree series over fields ⋮ Idempotent tree languages ⋮ Recognisability for algebras of infinite trees ⋮ Positive varieties of tree languages

Cites Work

• An algebraic characterization of frontier testable tree languages
• On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics
• P-varieties - a signature independent characterization of varieties of ordered algebras
• Recognizable languages and congruences
• Varieties of ordered algebras
• General varieties of tree languages
• Shuffle on positive varieties of languages
• Pseudoorder in ordered semigroups
• Positive varieties of tree languages
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• On finite monoids having only trivial subgroups
• 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: Positive varieties of tree languages