ABRAMYAN, Mikhail Eduardovich; MELNIKOV, Boris Feliksovich. Алгоритмы преобразования конечных автоматов, соответствующих бесконечным итерационным деревьям. Современные информационные технологии и ИТ-образование, [S.l.], v. 17, n. 1, p. 13-23, apr. 2021. ISSN 2411-1473. Доступно на: <http://sitito.cs.msu.ru/index.php/SITITO/article/view/728>. Дата доступа: 28 sep. 2022 doi: https://doi.org/10.25559/SITITO.17.202101.728.