Publication:4036596
From MaRDI portal
zbMath0766.68083MaRDI QIDQ4036596
Publication date: 18 May 1993
68Q45: Formal languages and automata
08A70: Applications of universal algebra in computer science
20M35: Semigroups in automata theory, linguistics, etc.
Related Items
Unnamed Item, Unnamed Item, The Wadge-Wagner hierarchy of ω-rational sets, Algebras for classifying regular tree languages and an application to frontier testability, Complementation of Branching Automata for Scattered and Countable N-Free Posets, Unnamed Item, Eilenberg Theorems for Free, A game theoretical approach to the algebraic counterpart of the Wagner hierarchy : Part I, A Game Theoretical Approach to The Algebraic Counterpart of The Wagner Hierarchy : Part II, Long words: The theory of concatenation and \(\omega\)-power, Schützenberger and Eilenberg theorems for words on linear orderings, Fragments of first-order logic over infinite words, Factorization forests for infinite words and applications to countable scattered linear orderings, On syntactic congruences for \(\omega\)-languages, Wreath product and infinite words, How to decide continuity of rational functions on infinite words, Logic over words on denumerable ordinals, Axiomatizing the subsumption and subword preorders on finite and infinite partial words, Logic, semigroups and automata on words, Star-free sets of words on ordinals, Wadge-Wagner hierarchies, On language varieties without Boolean operations, Completeness results for omega-regular algebras, Quantifier Alternation for Infinite Words, Profinite Monads, Profinite Equations, and Reiterman’s Theorem, On Completeness of Omega-Regular Algebras, Recognisable Languages over Monads, *-Continuous Kleene $$\omega $$-Algebras, The Algebraic Counterpart of the Wagner Hierarchy, Logic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings
