Local Search in Non-Deterministic Finite Automata With Extensions. atcs 2021, вып. 3, 24-28.