Анотація. Запропоновано алгоритм, який визначає еквівалентність багатострічкових автоматів, зображених у вигляді графів, та базується на доведеній автором теоремі про достатні умови еквівалентності. Алгоритм полягає в побудові спеціальної (замкненої) діаграми за допомогою елементарних операцій, запропонованих M. Бердом. Сформульовано правила застосування цих операцій, які дозволяють зробити алгоритм скінченним.
Ключові слова: багатострічковий автомат, детермінований автомат, еквівалентність.
Борисенко Виктор Иванович,
кандидат физ.-мат. наук, Киев,
e-mail: borisen@ukr.net.