Syzdykov, M. Local Search in Non-Deterministic Finite Automata With Extensions. atcs 2021, 24-28.