(1)
Syzdykov, M. Equivalence of Complexity Classes via Finite Automata Derivatives.
atcs
2022
,
1
, 9-14.