| |
Борисенко, В. И.
Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов [Текст] / В. И. Борисенко
// Кибернетика и системный анализ. – 2015. – Т. 51, № 5. – С. 63-72.
Предложен алгоритм определения эквивалентности многоленточных автоматов, представленных в виде графов, основанный на доказанной автором теореме о достаточных условиях эквивалентности. |
