@misc{indiciae22ef011038f2, title = {From regular expressions to deterministic finite automata: \$2\textasciicircum{}\{\textbackslash{}frac\{n\}\{2\}+\textbackslash{}sqrt\{n\}(\textbackslash{}log n)\textasciicircum{}\{Θ(1)\}\}\$ states are necessary and sufficient}, author = {Olga Martynova and Alexander Okhotin}, year = {2025}, url = {https://arxiv.org/abs/2504.20555}, note = {Source identifier: 2504.20555} }