NORMAL FORMS FOR FREE APERIODIC SEMIGROUPS

DOI10.1142/S0218196701000693MaRDI QIDQ4786300zbMATH OpenFDO

Authors Jonathan P. McCammond

Publication date 15 December 2002

Published in International Journal of Algebra and Computation (Search for Journal in Brave)

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

zbMATH Keywords

finite semigroupsfree aperiodic semigroupsimplicit operationsKrohn-Rhodes complexitypseudoidentitiespseudovarietiesword problem

Mathematics Subject Classification ID

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

Recommendations

• McCammond’s normal forms for free aperiodic semigroups revisited
• The word problem for free adequate semigroups.
• Canonical forms for free {\kappa}-semigroups
• On -identities over finite aperiodic semigroups with commuting idempotents
• scientific article; zbMATH DE number 1419247

Cites work

• On noncounting regular classes
• On the Decidability of Iterated Semidirect Products with Applications to Complexity
• Profinite semigroups, Mal'cev products, and identities
• THE SOLUTION TO THE WORD PROBLEM FOR THE RELATIVELY FREE SEMIGROUPS SATISFYING T^a = T^a+b WITH a ≥ 6
• THE WORD PROBLEM FOR THE RELATIVELY FREE SEMIGROUP SATISFYING T^m=T^m+n WITH m≥4 OR m=3, n=1

Cited in

(24)

• The word problem for omega-terms over the Trotter-Weil hierarchy
• Towards a pseudoequational proof theory
• Unified theory for finite Markov chains
• The \(\omega\)-inequality problem for concatenation hierarchies of star-free languages
• Normal forms for band free products
• The word problem for -terms over the pseudovariety of local groups
• Profinite topologies
• Pro-aperiodic monoids via saturated models
• Iterated periodicity over finite aperiodic semigroups
• Dynamics of implicit operations and tameness of pseudovarieties of groups
• McCammond’s normal forms for free aperiodic semigroups revisited
• Further results on monoids acting on trees.
• COMPLETE REDUCIBILITY OF THE PSEUDOVARIETY LS1
• Irreducibility of certain pseudovarieties¹
• Closures of regular languages for profinite topologies.
• PROFINITE METHODS IN SEMIGROUP THEORY
• On -identities over finite aperiodic semigroups with commuting idempotents
• Normal distributions of finite Markov chains
• Canonical forms for free {\kappa}-semigroups
• The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy
• The word problem for \(\omega \)-terms over DA
• Pseudovarieties of semigroups
• Semigroup presentations for test local groups.
• On bases of identities for the -variety generated by locally testable semigroups.

This page was built for publication: NORMAL FORMS FOR FREE APERIODIC SEMIGROUPS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4786300)