M. Syzdykov, «Equivalence of Complexity Classes via Finite Automata Derivatives», atcs, т. 1, вып. 4, сс. 9–14, дек. 2022.