Для цитирования:

НЕПЕЙВОДА А.Н., ДЕЛЬМАН А.Д., ТЕРЕНТЬЕВА А.С. Бисимуляции конечных автоматов с памятью. Труды Института системного программирования РАН. 2025;37(6):7-18. https://doi.org/10.15514/ISPRAS-2025-37(6)-33

For citation:

NEPEIVODA A.N., DELMAN A.D., TERENTYEVA A.S. Bisimulations in Memory Finite Automata. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2025;37(6):7-18. https://doi.org/10.15514/ISPRAS-2025-37(6)-33