The word problem for \(\kappa \)-terms over the pseudovariety of local groups

DOI10.1007/s00233-021-10207-9OpenAlexW3194692328MaRDI QIDQ1982578

M. Lurdes Teixeira, Conceição Nogueira, José Carlos Costa

Publication date: 14 September 2021

Published in: Semigroup Forum (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1509.01533

zbMATH Keywords

word problemcanonical formfinite semigrouplocal grouppseudovarietyimplicit signature\( \kappa \)-term

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07) Free semigroups, generators and relations, word problems (20M05) Semigroups in automata theory, linguistics, etc. (20M35)

Related Items (1)

Semigroup presentations for test local groups.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Categories as algebra: An essential ingredient in the theory of monoids
• Semigroup presentations for test local groups.
• An automata-theoretic approach to the word problem for \(\omega\)-terms over R
• On finitely based pseudovarieties of the forms \({\mathbf V}*{\mathbf D}\) and \({\mathbf V}*{\mathbf D}_n\)
• Finite semigroup varieties of the form V*D
• Graph congruences and wreath products
• Implicit operations on finite \({\mathcal J}\)-trivial semigroups and a conjecture of I. Simon
• The pseudoidentity problem and reducibility for completely regular semigroups
• Factoriality and the Pin-Reutenauer procedure
• On the Decidability of Iterated Semidirect Products with Applications to Complexity
• UNDECIDABILITY, AUTOMATA, AND PSEUDOVARITIES OF FINITE SEMIGROUPS
• NORMAL FORMS FOR FREE APERIODIC SEMIGROUPS
• Tameness of Some Locally Trivial Pseudovarieties
• On the extension problem for partial permutations
• Canonical forms for free {\kappa}-semigroups
• Free profinite locally idempotent and locally commutative semigroups

This page was built for publication: The word problem for \(\kappa \)-terms over the pseudovariety of local groups