TY  - RPRT
TI  - Diagonalization and Undecidability in Semi-Thue Systems
AU  - Vesa Halava
AU  - Reino Niskanen
PY  - 2026
UR  - https://arxiv.org/abs/2610.40105
ID  - 2610.40105
ER  -