Наукова періодика України Кібернетика та системний аналіз


Борисенко В. И. 
Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов / В. И. Борисенко // Кибернетика и системный анализ. - 2015. - Т. 51, № 5. - С. 63-72. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2015_51_5_8
Предложен алгоритм определения эквивалентности многоленточных автоматов, представленных в виде графов, основанный на доказанной автором теореме о достаточных условиях эквивалентности. Алгоритм состоит в построении специальной (замкнутой) диаграммы с помощью элементарных операций, предложенных М. Бердом. Сформулированы правила применения этих операций, которые позволяют сделать алгоритм конечным.
  Повний текст PDF - 201.81 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Борисенко В.

  • Бібліографічний опис для цитування:

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

      Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського