Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов

Предложен алгоритм определения эквивалентности многоленточных автоматов, представленных в виде графов, основанный на доказанной автором теореме о достаточных условиях эквивалентности. Алгоритм состоит в построении специальной (замкнутой) диаграммы с помощью элементарных операций, предложенных M. Бер...

Full description

Saved in:
Bibliographic Details
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