Automatic presentations for semigroups.

DOI10.1016/j.ic.2009.02.005zbMath1192.20040OpenAlexW2147596124MaRDI QIDQ1041033

Alan J. Cain, Richard M. Thomas, Graham Oliver, Nikola Ruškuc

Publication date: 27 November 2009

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10023/2147

zbMATH Keywords

commutative semigroupsfinitely presented semigroupsautomatic presentationsautomatic semigroupsFA-presentable semigroupsfinitely generated cancellative semigroups

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Free semigroups, generators and relations, word problems (20M05) Semigroups in automata theory, linguistics, etc. (20M35)

Related Items (6)

UNARY FA-PRESENTABLE SEMIGROUPS ⋮ Markov semigroups, monoids and groups ⋮ Automatic presentations and semigroup constructions ⋮ Subalgebras of FA-presentable algebras. ⋮ The word problem for one-relation monoids: a survey ⋮ Automaton semigroups

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semigroups with one defining relation whose elementary theories are solvable
• Commutative monoids have complete presentations by free (non-commutative) monoids
• Cancellative semigroups of power growth
• Groups of polynomial growth and expanding maps. Appendix by Jacques Tits
• A characterization of the group congruences on a semigroup
• Automatic semigroups
• Finite presentations of infinite structures: Automata and interpretations
• Automaticity of ordinals and of homogeneous graphs
• Uniform decision problems for automatic semigroups.
• CANCELLATIVITY IS UNDECIDABLE FOR AUTOMATIC SEMIGROUPS
• Describing Groups
• ON GROUPS AND COUNTER AUTOMATA
• On a subclass of context-free groups
• Word hyperbolic semigroups
• A GROUP-EMBEDDABLE NON-AUTOMATIC SEMIGROUP WHOSE UNIVERSAL GROUP IS AUTOMATIC
• STACS 2005
• Subsemigroups of nilpotent groups

This page was built for publication: Automatic presentations for semigroups.