Automatic structures for subsemigroups of Baumslag-Solitar semigroups.
From MaRDI portal
Publication:2447245
DOI10.1007/s00233-013-9490-yzbMath1326.20057arXiv1303.1112MaRDI QIDQ2447245
Publication date: 25 April 2014
Published in: Semigroup Forum (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1303.1112
fellow traveller property; Malcev presentations; automatic semigroups; finitely generated subsemigroups; Baumslag-Solitar semigroups; group-embeddable semigroups
68Q45: Formal languages and automata
20F05: Generators, relations, and presentations of groups
20M05: Free semigroups, generators and relations, word problems
20M35: Semigroups in automata theory, linguistics, etc.
68Q42: Grammars and rewriting systems
Related Items
A correspondence between a class of monoids and self-similar group actions II, Malcev presentations for subsemigroups of direct products of coherent groups., A note on automatic semigroups., Cyclic amalgams, HNN extensions, and Garside one-relator groups
Cites Work
- A geometric characterization of automatic semigroups
- Malcev presentations for subsemigroups of direct products of coherent groups.
- Presentations et presentations simplifiables d'un monoide simplifiable
- Baumslag-Solitar groups and some other groups of cohomological dimension two
- Notions of automaticity in semigroups.
- Automatic semigroups
- Coherence, local quasiconvexity, and the perimeter of 2-complexes.
- Some two-generator one-relator non-Hopfian groups
- A Geometric Characterization of Automatic Monoids
- DECISION AND SEPARABILITY PROBLEMS FOR BAUMSLAG–SOLITAR SEMIGROUPS
- Automatic monoids and change of generators
- Subsemigroups of groups: presentations, Malcev presentations, and automatic structures
- Subsemigroups of virtually free groups: finite Malcev presentations and testing for freeness
- A GROUP-EMBEDDABLE NON-AUTOMATIC SEMIGROUP WHOSE UNIVERSAL GROUP IS AUTOMATIC
- The Subgroups of a Free Product of Two Groups with an Amalgamated Subgroup
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item