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