THE EQUATIONAL THEORY OF ω-TERMS FOR FINITE ${\mathcal R}$-TRIVIAL SEMIGROUPS

DOI10.1142/9789812702616_0001zbMath1189.20050OpenAlexW2315969326MaRDI QIDQ3552216

Marc Zeitoun, Jorge Almeida

Publication date: 14 April 2010

Published in: Semigroups and Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/9789812702616_0001

zbMATH Keywords

word problembases of identitiesfinite automatatransfinite wordstopological representationsvarieties of semigroupscomplete binary treesfree profinite \(\mathcal R\)-trivial semigroups

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Varieties and pseudovarieties of semigroups (20M07) Free semigroups, generators and relations, word problems (20M05) Algebraic theory of languages and automata (68Q70) Semigroups in automata theory, linguistics, etc. (20M35) Structure of topological semigroups (22A15)

Related Items (4)

An automata-theoretic approach to the word problem for \(\omega\)-terms over R ⋮ The word problem for \(\omega \)-terms over DA ⋮ Description and analysis of a bottom-up DFA minimization algorithm ⋮ Tameness of pseudovariety joins involving R.

This page was built for publication: THE EQUATIONAL THEORY OF ω-TERMS FOR FINITE ${\mathcal R}$-TRIVIAL SEMIGROUPS