M. Syzdykov, “Equivalence of Complexity Classes via Finite Automata Derivatives”, atcs, vol. 1, no. 4, pp. 9–14, Dec. 2022.