Local Search in Non-deterministic Finite Automata with Extensions. atcs. 2021;(3):24-28. Accessed April 1, 2026. https://atcs.iict.kz/index.php/atcs/article/view/64