| |
Подловченко, Р. И.
Об одном подходе к разрешению проблемы эквивалентности [Текст] / Р. И. Подловченко, В. Е. Хачатрян
// Программирование. – 2004. – № 3. – 3-20.
На примере многоленточных автоматов демонстрируется применение нового метода распознавания эквивалентности в модели вычислений, объекты которой представлены размеченными ориентированными графами |
