M. Syzdykov, “Local Search in Non-deterministic Finite Automata with Extensions”, atcs, no. 3, pp. 24–28, Sep. 2021.