Dynamic direct access of MSO query evaluation over strings

[system]

---

This is a companion discussion topic for the original entry at https://arxiv.org/abs/2409.17329