TY  - RPRT
TI  - Deciding DFA-Primality is NP-Hard
AU  - Daniel Alexander Spenner
PY  - 2026
UR  - https://arxiv.org/abs/2605.07031
ID  - 2605.07031
ER  -