Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов / Борисенко В. И. (2015)
Ukrainian

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0000412875
  Кибернетика и системный анализ      А - 2019  /     Випуск (2015, Т. 51, № 5)

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

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

Бібліографічний опис:
Борисенко В. И.  Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов. Кибернетика и системный анализ. 2015. Т. 51, № 5. С. 63-72. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000412875

English  Cybernetics and Systems Analysis   /     Issue (2015, 51 (5))

translit Transliteration

Borisenko V. I.
Algoritm, ustanavlivajushchij ekvivalentnost determinirovannykh mnogolentochnykh avtomatov

Cite:
Borisenko, V. I. (2015). Algoritm, ustanavlivajushchij ekvivalentnost determinirovannykh mnogolentochnykh avtomatov. Cybernetics and Systems Analysis, 51 (5), 63-72 http://jnas.nbuv.gov.ua/article/UJRN-0000412875 [In Russian].

 

Інститут інформаційних технологій НБУВ

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Голосіївський просп., 3, к. 209
м. Київ, 03039, Україна