Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов

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

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2015
Автор: Борисенко, В.И.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут кібернетики ім. В.М. Глушкова НАН України 2015
Назва видання:Кибернетика и системный анализ
Теми:
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/124907
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов / В.И. Борисенко // Кибернетика и системный анализ. — 2015. — Т. 51, № 5. — С. 63-72. — Бібліогр.: 9 назв. — рос.

Репозиторії

Digital Library of Periodicals of National Academy of Sciences of Ukraine