Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов
Предложен алгоритм определения эквивалентности многоленточных автоматов, представленных в виде графов, основанный на доказанной автором теореме о достаточных условиях эквивалентности. Алгоритм состоит в построении специальной (замкнутой) диаграммы с помощью элементарных операций, предложенных M. Бер...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2015 |
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2015
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/124907 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов / В.И. Борисенко // Кибернетика и системный анализ. — 2015. — Т. 51, № 5. — С. 63-72. — Бібліогр.: 9 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862707963596111872 |
|---|---|
| author | Борисенко, В.И. |
| author_facet | Борисенко, В.И. |
| citation_txt | Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов / В.И. Борисенко // Кибернетика и системный анализ. — 2015. — Т. 51, № 5. — С. 63-72. — Бібліогр.: 9 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| description | Предложен алгоритм определения эквивалентности многоленточных автоматов, представленных в виде графов, основанный на доказанной автором теореме о достаточных условиях эквивалентности. Алгоритм состоит в построении специальной (замкнутой) диаграммы с помощью элементарных операций, предложенных 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.
|
| first_indexed | 2025-12-07T17:08:34Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-124907 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0023-1274 |
| language | Russian |
| last_indexed | 2025-12-07T17:08:34Z |
| publishDate | 2015 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Борисенко, В.И. 2017-10-11T17:02:09Z 2017-10-11T17:02:09Z 2015 Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов / В.И. Борисенко // Кибернетика и системный анализ. — 2015. — Т. 51, № 5. — С. 63-72. — Бібліогр.: 9 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/124907 512.9 Предложен алгоритм определения эквивалентности многоленточных автоматов, представленных в виде графов, основанный на доказанной автором теореме о достаточных условиях эквивалентности. Алгоритм состоит в построении специальной (замкнутой) диаграммы с помощью элементарных операций, предложенных 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. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Кибернетика Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов Алгоритм, який встановлює еквівалентність детермінованих багатострічкових автоматів The algorithm for establishing the equivalence of determined multitape automata Article published earlier |
| spellingShingle | Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов Борисенко, В.И. Кибернетика |
| title | Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов |
| title_alt | Алгоритм, який встановлює еквівалентність детермінованих багатострічкових автоматів The algorithm for establishing the equivalence of determined multitape automata |
| title_full | Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов |
| title_fullStr | Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов |
| title_full_unstemmed | Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов |
| title_short | Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов |
| title_sort | алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов |
| topic | Кибернетика |
| topic_facet | Кибернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/124907 |
| work_keys_str_mv | AT borisenkovi algoritmustanavlivaûŝiiékvivalentnostʹdeterminirovannyhmnogolentočnyhavtomatov AT borisenkovi algoritmâkiivstanovlûêekvívalentnístʹdetermínovanihbagatostríčkovihavtomatív AT borisenkovi thealgorithmforestablishingtheequivalenceofdeterminedmultitapeautomata |