TY  - RPRT
TI  - Locality Testing for NFAs is PSPACE-complete
AU  - Antoine Amarilli
AU  - Mikaël Monet
AU  - Rémi De Pretto
PY  - 2025
UR  - https://arxiv.org/abs/2511.07361
ID  - 2511.07361
ER  -