Local Search in Non-deterministic Finite Automata with Extensions. atcs. 2021;(3):24-28. просмотрено апрель 9, 2026. https://www.atcs.iict.kz/index.php/atcs/article/view/64