На примере многоленточных автоматов демонстрируется применение нового метода распознавания эквивалентности в модели вычислений, объекты которой представлены размеченными ориентированными графами. Статья строится таким образом, чтобы максимально высветить общие идеи метода. Детально описывается алгоритм, распознающий эквивалентность многоленточных автоматов с непересекающимися циклами.
