Syzdykov, M. “Local Search in Non-Deterministic Finite Automata With Extensions”. ADVANCED TECHNOLOGIES AND COMPUTER SCIENCE, no. 3, Sept. 2021, pp. 24-28, https://atcs.iict.kz/index.php/atcs/article/view/64.