TY  - RPRT
TI  - From regular expressions to deterministic finite automata: $2^{\frac{n}{2}+\sqrt{n}(\log n)^{Θ(1)}}$ states are necessary and sufficient
AU  - Olga Martynova
AU  - Alexander Okhotin
PY  - 2025
UR  - https://arxiv.org/abs/2504.20555
ID  - 2504.20555
ER  -