Алгоритм рапознавания эквивалентности многоленточных автоматов без пересекающихся цикловстатья