Syzdykov M. Local Search in Non-deterministic Finite Automata with Extensions. atcs [Internet]. 2021 Sep. 23 [cited 2024 May 6];(3):24-8. Available from: https://atcs.iict.kz/index.php/atcs/article/view/64