Publication:3838998
From MaRDI portal
zbMath0906.20045MaRDI QIDQ3838998
Publication date: 13 December 1998
pseudovarieties; regular languages; Büchi automata; countable ordinals; varieties of languages; syntactic semigroups; \(\omega\)-semigroups; \(\omega_1\)-semigroups; Eilenberg correspondence
68R15: Combinatorics on words
68Q45: Formal languages and automata
20M07: Varieties and pseudovarieties of semigroups
08A70: Applications of universal algebra in computer science
68Q70: Algebraic theory of languages and automata
20M35: Semigroups in automata theory, linguistics, etc.
Related Items
Axiomatizing omega and omega-op powers of words, Eilenberg Theorems for Free, Determinization of ordinal automata, Schützenberger and Eilenberg theorems for words on linear orderings, Factorization forests for infinite words and applications to countable scattered linear orderings, Automata on linear orderings, Logic over words on denumerable ordinals, Star-free sets of words on ordinals, Complementation of rational sets on scattered linear orderings of finite rank