Automatic presentations for semigroups.
From MaRDI portal
Publication:1041033
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
commutative semigroupsfinitely presented semigroupsautomatic presentationsautomatic semigroupsFA-presentable semigroupsfinitely generated cancellative semigroups
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.