“Local Search in Non-deterministic Finite Automata with Extensions”, atcs, no. 3, pp. 24–28, Sep. 2021, Accessed: Apr. 01, 2026. [Online]. Available: https://atcs.iict.kz/index.php/atcs/article/view/64