THE EQUATIONAL THEORY OF ω-TERMS FOR FINITE {\mathcal R}-TRIVIAL SEMIGROUPS
From MaRDI portal
Publication:3552216
bases of identitiescomplete binary treesfinite automatafree profinite \(\mathcal R\)-trivial semigroupstopological representationstransfinite wordsvarieties of semigroupsword problem
Free semigroups, generators and relations, word problems (20M05) Varieties and pseudovarieties of semigroups (20M07) Semigroups in automata theory, linguistics, etc. (20M35) Structure of topological semigroups (22A15) Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70)
Recommendations
- Equational theories for classes of finite semigroups
- The equational theories of representable residuated semigroups
- On the equational theories of semigroup varieties
- scientific article; zbMATH DE number 1972797
- Equational theories of semigroups with involution.
- Restriction \(\omega \)-semigroups
- scientific article; zbMATH DE number 1512755
- On commutative semigroups of soluble totally -saturated formations.
- The Universal Theory of Ordered Equidecomposability Types Semigroups
- scientific article; zbMATH DE number 4044098
Cited in
(8)- Equational theories for classes of finite semigroups
- McCammond’s normal forms for free aperiodic semigroups revisited
- The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy
- The word problem for \(\omega \)-terms over DA
- Tameness of pseudovariety joins involving R.
- An automata-theoretic approach to the word problem for \(\omega\)-terms over R
- On bases of identities for the -variety generated by locally testable semigroups.
- Description and analysis of a bottom-up DFA minimization algorithm
This page was built for publication: THE EQUATIONAL THEORY OF ω-TERMS FOR FINITE ${\mathcal R}$-TRIVIAL SEMIGROUPS
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3552216)
