Stallings foldings for rational subsets of automatic groups
Let $G$ be an automatic group with associated regular language $L$. We describe a procedure for constructing an automaton which recognises elements of a given submonoid or rational subset $K$ of $G$. This builds on work of Kharlampovich, Miasnikov and Weil, on the case where $K$ is a subgroup of $G$. Our construction succeeds, after sufficiently many iterations, whenever $K$ satisfies a certain convexity property, which we call $L$-proximity. We show how to test whether the construction is complete in the case that $K$ is a submonoid; we have no such test for the general case of a rational…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.26284
curl -X POST /api/v1/records/arxiv/2607.26284/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.26284/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'