Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов
Предложен алгоритм определения эквивалентности многоленточных автоматов, представленных в виде графов, основанный на доказанной автором теореме о достаточных условиях эквивалентности. Алгоритм состоит в построении специальной (замкнутой) диаграммы с помощью элементарных операций, предложенных 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| id |
irk-123456789-124907 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1249072017-10-12T03:02:48Z Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов Борисенко, В.И. Кибернетика Предложен алгоритм определения эквивалентности многоленточных автоматов, представленных в виде графов, основанный на доказанной автором теореме о достаточных условиях эквивалентности. Алгоритм состоит в построении специальной (замкнутой) диаграммы с помощью элементарных операций, предложенных M. Бердом. Сформулированы правила применения этих операций, которые позволяют сделать алгоритм конечным. Запропоновано алгоритм, який визначає еквівалентність багатострічкових автоматів, зображених у вигляді графів, та базується на доведеній автором теоремі про достатні умови еквівалентності. Алгоритм полягає в побудові спеціальної (замкненої) діаграми за допомогою елементарних операцій, запропонованих M. Бердом. Сформульовано правила застосування цих операцій, які дозволяють зробити алгоритм скінченним. This paper proposes an algorithm to determine the equivalence of multitape automata presented in the form of graphs. The algorithm is based on the theorem (proved by the author) on the sufficient conditions of equivalence and consists in the construction of special (closed) diagrams with the help of elementary operations proposed by M. Bird. The rules for the application of these operations, which make the algorithm finite, are formulated. 2015 Article Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов / В.И. Борисенко // Кибернетика и системный анализ. — 2015. — Т. 51, № 5. — С. 63-72. — Бібліогр.: 9 назв. — рос. 0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/124907 512.9 ru Кибернетика и системный анализ Інститут кібернетики ім. В.М. Глушкова НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Кибернетика Кибернетика |
| spellingShingle |
Кибернетика Кибернетика Борисенко, В.И. Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов Кибернетика и системный анализ |
| description |
Предложен алгоритм определения эквивалентности многоленточных автоматов, представленных в виде графов, основанный на доказанной автором теореме о достаточных условиях эквивалентности. Алгоритм состоит в построении специальной (замкнутой) диаграммы с помощью элементарных операций, предложенных M. Бердом. Сформулированы правила применения этих операций, которые позволяют сделать алгоритм конечным. |
| format |
Article |
| author |
Борисенко, В.И. |
| author_facet |
Борисенко, В.И. |
| author_sort |
Борисенко, В.И. |
| title |
Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов |
| title_short |
Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов |
| title_full |
Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов |
| title_fullStr |
Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов |
| title_full_unstemmed |
Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов |
| title_sort |
алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| publishDate |
2015 |
| topic_facet |
Кибернетика |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/124907 |
| citation_txt |
Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов / В.И. Борисенко // Кибернетика и системный анализ. — 2015. — Т. 51, № 5. — С. 63-72. — Бібліогр.: 9 назв. — рос. |
| series |
Кибернетика и системный анализ |
| work_keys_str_mv |
AT borisenkovi algoritmustanavlivaûŝijékvivalentnostʹdeterminirovannyhmnogolentočnyhavtomatov |
| first_indexed |
2023-10-18T20:47:30Z |
| last_indexed |
2023-10-18T20:47:30Z |
| _version_ |
1796151117771440128 |