TAMENESS OF THE PSEUDOVARIETY LS1
From MaRDI portal
Publication:4658703
DOI10.1142/S0218196704001955zbMath1087.20039MaRDI QIDQ4658703
José Carlos Costa, M. Lurdes Teixeira
Publication date: 18 March 2005
Published in: International Journal of Algebra and Computation (Search for Journal in Brave)
semigroupsword problemimplicit operationsdecidabilitypseudovarietiesinfinite wordstamenessgraph labelingslocal semilatticeslocally testable languages
Varieties and pseudovarieties of semigroups (20M07) Free semigroups, generators and relations, word problems (20M05) Semigroups in automata theory, linguistics, etc. (20M35)
Related Items
McCammond’s normal forms for free aperiodic semigroups revisited ⋮ On κ-reducibility of pseudovarieties of the form V ∗D ⋮ Towards a pseudoequational proof theory ⋮ TAMENESS OF JOINS INVOLVING THE PSEUDOVARIETY OF LOCAL SEMILATTICES ⋮ Pointlike reducibility of pseudovarieties of the form V ∗D ⋮ Semigroup presentations for test local groups. ⋮ COMPLETE REDUCIBILITY OF THE PSEUDOVARIETY LS1 ⋮ Profinite topologies ⋮ Tameness of pseudovariety joins involving R.
Cites Work
- The Birkhoff theorem for finite algebras
- Some key problems on finite semigroups
- Characterizations of locally testable events
- Reducibility of Joins Involving Some Locally Trivial Pseudovarieties
- INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES
- Undecidability of the identity problem for finite semigroups
- On the Decidability of Iterated Semidirect Products with Applications to Complexity
- HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS
- UNDECIDABILITY, AUTOMATA, AND PSEUDOVARITIES OF FINITE SEMIGROUPS
- Algebraic decision procedures for local testability
- Tameness of Some Locally Trivial Pseudovarieties
- Free profinite locally idempotent and locally commutative semigroups
