Subsemigroups of virtually free groups: finite Malcev presentations and testing for freeness

DOI10.1017/S0305004106009236zbMath1115.20043OpenAlexW2102290836MaRDI QIDQ5481577

Alan J. Cain, Edmund F. Robertson, Nikola Ruškuc

Publication date: 10 August 2006

Published in: Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0305004106009236

zbMATH Keywords

context-free languagesvirtually free groupspushdown automatafree subsemigroupsMalcev presentationsalgorithmic solvability

Mathematics Subject Classification ID

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

Related Items (5)

CANCELLATIVE AND MALCEV PRESENTATIONS FOR FINITE REES INDEX SUBSEMIGROUPS AND EXTENSIONS ⋮ Automatic structures for subsemigroups of Baumslag-Solitar semigroups. ⋮ GROWTHS OF ENDOMORPHISMS OF FINITELY GENERATED SEMIGROUPS ⋮ Malcev presentations for subsemigroups of direct products of coherent groups. ⋮ On finitely generated submonoids of virtually free groups

This page was built for publication: Subsemigroups of virtually free groups: finite Malcev presentations and testing for freeness