@misc{indiciae9ed67175d3b9, title = {Deciding DFA-Primality is NP-Hard}, author = {Daniel Alexander Spenner}, year = {2026}, url = {https://arxiv.org/abs/2605.07031}, note = {Source identifier: 2605.07031} }