2 papers
math.GR2019
Polynomial-time proofs that groups are hyperbolic
Derek Holt, Stephen Linton, Max Neunhoeffer +3
It is undecidable in general whether a given finitely presented group is word hyperbolic. We use the concept of pregroups, introduced by Stallings, to define a new class of van Kam…
math.GR2019
Context-free word problem semigroups
Tara Brough, Alan J. Cain, Markus Pfeiffer
This paper studies the classes of semigoups and monoids with context-free and deterministic context-free word problem. First, some examples are exhibited to clarify the relationshi…