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