Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Кибернетика и системный анализ
Datum:	2015
1. Verfasser:	Борисенко, В.И.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут кібернетики ім. В.М. Глушкова НАН України 2015
Schlagworte:	Кибернетика
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/124907
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов / В.И. Борисенко // Кибернетика и системный анализ. — 2015. — Т. 51, № 5. — С. 63-72. — Бібліогр.: 9 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Эквивалентность двумерных многоленточных автоматов
von: Григорян, А.А., et al.
Veröffentlicht: (2008)

Эквивалентность регулярных выражений в частично коммутативном алфавите
von: Шукурян, А.С.
Veröffentlicht: (2009)

Согласование взаимодействующих автоматов
von: Чеботарев, А.Н.
Veröffentlicht: (2015)

Теория обобщенных линейных автоматов
von: Рысцов, И.К.
Veröffentlicht: (2009)

О сложности анализа автоматов над конечным кольцом
von: Скобелев, В.В., et al.
Veröffentlicht: (2010)

Проверка эквивалентности программ с помощью двухленточных автоматов
von: Захаров, В.А.
Veröffentlicht: (2010)

О некоторых множествах автоматов над конечным кольцом
von: Скобелев, В.Г.
Veröffentlicht: (2011)

Помехоустойчивые коды переменной длины на основе конечных автоматов
von: Завадский, И.А.
Veröffentlicht: (2015)

Согласование спецификаций автоматов, представленных в языке L
von: Чеботарев, А.Н.
Veröffentlicht: (2016)

Анализ структуры класса линейных автоматов над кольцом Zpk
von: Скобелев, В.В.
Veröffentlicht: (2008)

О двух типах нелинейных автоматов над конечным кольцом
von: Скобелев, В.В.
Veröffentlicht: (2009)

Метод декодирования помехоустойчивого кода переменной длины на основе конечных автоматов
von: Завадский, И.А.
Veröffentlicht: (2015)

Использование согласования логических спецификаций автоматов при решении игровых задач
von: Чеботарев, А.Н.
Veröffentlicht: (2014)

О мере изменения состояния коллектива взаимодействующих элементарных автоматов в дискретной среде
von: Курганский, А.Н.
Veröffentlicht: (2012)

Алгоритм Очевидности Глушкова
von: Летичевский, А.А., et al.
Veröffentlicht: (2013)

Алгоритм формальной верификации шаблонов бизнес-процессов
von: Варосян, А.С.
Veröffentlicht: (2011)

Эвристический алгоритм для поиска наибольшего независимого множества
von: Плотников, А.Д.
Veröffentlicht: (2012)

Алгоритм декомпозиции геометрических объектов в 2D-задачах упаковки и раскроя
von: Стоян, Ю.Г., et al.
Veröffentlicht: (2011)

Алгоритм формирования электронной цифровой подписи с возможностью обнаружения и исправления ошибки
von: Бияшев, Р.Г., et al.
Veröffentlicht: (2012)

Эффективный алгоритм синтеза многовыходных комбинационных автоматов
von: Голов, А.В., et al.
Veröffentlicht: (1999)

Помехоустойчивый алгоритм решения проблемы нечеткой кластеризации на базе метода нечетких связанных точек
von: Насибов, Э.Н.
Veröffentlicht: (2008)

Алгоритм построения базиса множества решений систем линейных диофантовых уравнений в кольце целых чисел
von: Крывый, С.Л.
Veröffentlicht: (2009)

Обнаружение и предотвращение атак с проверкой ввода в веб-приложениях с использованием детерминированных автоматов с магазинной памятью
von: Нитья, В., et al.
Veröffentlicht: (2019)

Алгебраическое представление детерминированных графов
von: Сенченко, А.С., et al.
Veröffentlicht: (2009)

Определяющие соотношения для детерминированных графов
von: Сенченко, А.С., et al.
Veröffentlicht: (2008)

Сложность семейств алгоритмов обучения и оценивание неслучайности извлечения эмпирических закономерностей
von: Донской, В.И.
Veröffentlicht: (2012)

Информационно-экстремальный алгоритм обучения системы диагностирования инфекционных патологий
von: Довбыш, А.С., et al.
Veröffentlicht: (2013)

Применение ускоренного моделирования к оценке количества некоторых k-мерных подпространств над конечным полем
von: Масол, В.И., et al.
Veröffentlicht: (2010)

Конструктивно-продукционные структуры и их грамматические интерпретации. I. Обобщенная формальная конструктивно-продукционная структура
von: Шинкаренко, В.И., et al.
Veröffentlicht: (2014)

Конструктивно-продукционные структуры и их грамматические интерпретации. II. Уточняющие преобразования
von: Шинкаренко, В.И., et al.
Veröffentlicht: (2014)

Моделирование процесса адаптации алгоритмов сжатия средствами конструктивно-продукционных структур
von: Шинкаренко, В.И., et al.
Veröffentlicht: (2015)

Условия единственности решения неоднородной системы нелинейных случайных уравнений над полем GF(3)
von: Масол, В.И., et al.
Veröffentlicht: (2010)

Полускалярная эквивалентность и факторизация многочленных матриц
von: Петрикович, В.М.
Veröffentlicht: (1990)

Структурные модели алгоритмов в задачах прикладного программирования. II. Структурно-алгоритмический подход к моделированию программного обеспечения
von: Шинкаренко, В.И., et al.
Veröffentlicht: (2009)

Структурные модели алгоритмов в задачах прикладного программирования. I. Формальные алгоритмические структуры
von: Шинкаренко, В.И., et al.
Veröffentlicht: (2009)

Эквивалентность стандартных пределов в теории пределов
von: Мироненко, Л.П.
Veröffentlicht: (2012)

Гладкая и топологическая эквивалентность функций на поверхностях
von: Шарко, В.В.
Veröffentlicht: (2003)

Классификация бинарных детерминированных статистических экспериментов с настойчивой регрессией
von: Королюк, Д.В.
Veröffentlicht: (2015)

Интеллектуальные технологии высокопроизводительных вычислений
von: Сергиенко, И.В., et al.
Veröffentlicht: (2010)

Реоптимизация обобщенных проблем о выполнимости с аппроксимационно-устойчивыми предикатами
von: Михайлюк, В.А., et al.
Veröffentlicht: (2012)