Canonical forms for free {\kappa}-semigroups

zbMath1293.20056arXiv1309.1450MaRDI QIDQ5413908

José Carlos Costa

Publication date: 2 May 2014

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

zbMATH Keywords

word problemfinite semigroupspseudovarieties of semigroupsregular languagespseudoidentitiesimplicit signatures\(\kappa\)-terms\(\kappa\)-semigroupsMcCammond normal form

Mathematics Subject Classification ID

Combinatorics on words (68R15) Formal languages and automata (68Q45) Varieties and pseudovarieties of semigroups (20M07) Free semigroups, generators and relations, word problems (20M05) Semigroups in automata theory, linguistics, etc. (20M35)

Related Items (3)

The word problem for \(\kappa \)-terms over the pseudovariety of local groups ⋮ Endomorphisms of the lattice of epigroup varieties ⋮ Semigroup presentations for test local groups.

This page was built for publication: Canonical forms for free {\kappa}-semigroups