Зведений каталог бібліотек Харкова

 

Борисенко, В. И.
    Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов [Текст] / В.И. Борисенко // Кибернетика и системный анализ. — 2015. — С. 63-72.


- Анотація:

Предложен алгоритм определения эквивалентности многоленточных автоматов. представленных в виде графов. основанный на доказанной автором теореме о достаточных условиях эквивалентности. Алгоритм состоит в построении специальной (замкнутой) диаграммы с помощью элементарных операций, которое позволяют сделать алгоритм конечным. Ключевые слова: многоленточный автомат. детерминированный автомат, эквивалентность.

- Є складовою частиною документа:

- Теми документа

  • УДК // Алгебра



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського   Перейти на сайт