Abstract
The word problem for Thompson's group F has a solution, but it remains unknown whether F is automatic or has a finite or regular convergent (terminating and confluent) rewriting system. We show that the group F admits a natural extension of these two properties, namely autostackability, and we give an explicit bounded regular convergent prefix-rewriting system for F.
Original language | American English |
---|---|
Pages (from-to) | 111-134 |
Number of pages | 24 |
Journal | Journal of Algebra |
Volume | 545 |
DOIs | |
State | Published - 1 Mar 2020 |
Keywords
- Automatic group
- Autostackable
- Finite state automata
- Rewriting system
- Thompson's group
- Word problem
All Science Journal Classification (ASJC) codes
- Algebra and Number Theory