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

web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000412875
  Cybernetics and Systems Analysis      А - 2019  /     Issue (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].

 

Institute of Information Technologies of VNLU

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Ukraine, 03039, Kyiv, Holosiivskyi Ave, 3, room 209