Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов
Предложен алгоритм определения эквивалентности многоленточных автоматов, представленных в виде графов, основанный на доказанной автором теореме о достаточных условиях эквивалентности. Алгоритм состоит в построении специальной (замкнутой) диаграммы с помощью элементарных операций, предложенных 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 UkraineSimilar Items
Эквивалентность двумерных многоленточных автоматов
by: Григорян, А.А., et al.
Published: (2008)
by: Григорян, А.А., et al.
Published: (2008)
Эквивалентность регулярных выражений в частично коммутативном алфавите
by: Шукурян, А.С.
Published: (2009)
by: Шукурян, А.С.
Published: (2009)
Согласование взаимодействующих автоматов
by: Чеботарев, А.Н.
Published: (2015)
by: Чеботарев, А.Н.
Published: (2015)
О сложности анализа автоматов над конечным кольцом
by: Скобелев, В.В., et al.
Published: (2010)
by: Скобелев, В.В., et al.
Published: (2010)
Проверка эквивалентности программ с помощью двухленточных автоматов
by: Захаров, В.А.
Published: (2010)
by: Захаров, В.А.
Published: (2010)
О некоторых множествах автоматов над конечным кольцом
by: Скобелев, В.Г.
Published: (2011)
by: Скобелев, В.Г.
Published: (2011)
Помехоустойчивые коды переменной длины на основе конечных автоматов
by: Завадский, И.А.
Published: (2015)
by: Завадский, И.А.
Published: (2015)
Согласование спецификаций автоматов, представленных в языке L
by: Чеботарев, А.Н.
Published: (2016)
by: Чеботарев, А.Н.
Published: (2016)
Анализ структуры класса линейных автоматов над кольцом Zpk
by: Скобелев, В.В.
Published: (2008)
by: Скобелев, В.В.
Published: (2008)
О двух типах нелинейных автоматов над конечным кольцом
by: Скобелев, В.В.
Published: (2009)
by: Скобелев, В.В.
Published: (2009)
Метод декодирования помехоустойчивого кода переменной длины на основе конечных автоматов
by: Завадский, И.А.
Published: (2015)
by: Завадский, И.А.
Published: (2015)
Использование согласования логических спецификаций автоматов при решении игровых задач
by: Чеботарев, А.Н.
Published: (2014)
by: Чеботарев, А.Н.
Published: (2014)
Алгоритм формальной верификации шаблонов бизнес-процессов
by: Варосян, А.С.
Published: (2011)
by: Варосян, А.С.
Published: (2011)
Эвристический алгоритм для поиска наибольшего независимого множества
by: Плотников, А.Д.
Published: (2012)
by: Плотников, А.Д.
Published: (2012)
Алгоритм декомпозиции геометрических объектов в 2D-задачах упаковки и раскроя
by: Стоян, Ю.Г., et al.
Published: (2011)
by: Стоян, Ю.Г., et al.
Published: (2011)
Эффективный алгоритм синтеза многовыходных комбинационных автоматов
by: Голов, А.В., et al.
Published: (1999)
by: Голов, А.В., et al.
Published: (1999)
Алгоритм формирования электронной цифровой подписи с возможностью обнаружения и исправления ошибки
by: Бияшев, Р.Г., et al.
Published: (2012)
by: Бияшев, Р.Г., et al.
Published: (2012)
Помехоустойчивый алгоритм решения проблемы нечеткой кластеризации на базе метода нечетких связанных точек
by: Насибов, Э.Н.
Published: (2008)
by: Насибов, Э.Н.
Published: (2008)
Алгоритм построения базиса множества решений систем линейных диофантовых уравнений в кольце целых чисел
by: Крывый, С.Л.
Published: (2009)
by: Крывый, С.Л.
Published: (2009)
Обнаружение и предотвращение атак с проверкой ввода в веб-приложениях с использованием детерминированных автоматов с магазинной памятью
by: Нитья, В., et al.
Published: (2019)
by: Нитья, В., et al.
Published: (2019)
Алгебраическое представление детерминированных графов
by: Сенченко, А.С., et al.
Published: (2009)
by: Сенченко, А.С., et al.
Published: (2009)
Определяющие соотношения для детерминированных графов
by: Сенченко, А.С., et al.
Published: (2008)
by: Сенченко, А.С., et al.
Published: (2008)
Полускалярная эквивалентность и факторизация многочленных матриц
by: Петрикович, В.М.
Published: (1990)
by: Петрикович, В.М.
Published: (1990)
Применение ускоренного моделирования к оценке количества некоторых k-мерных подпространств над конечным полем
by: Масол, В.И., et al.
Published: (2010)
by: Масол, В.И., et al.
Published: (2010)
Конструктивно-продукционные структуры и их грамматические интерпретации. I. Обобщенная формальная конструктивно-продукционная структура
by: Шинкаренко, В.И., et al.
Published: (2014)
by: Шинкаренко, В.И., et al.
Published: (2014)
Конструктивно-продукционные структуры и их грамматические интерпретации. II. Уточняющие преобразования
by: Шинкаренко, В.И., et al.
Published: (2014)
by: Шинкаренко, В.И., et al.
Published: (2014)
Моделирование процесса адаптации алгоритмов сжатия средствами конструктивно-продукционных структур
by: Шинкаренко, В.И., et al.
Published: (2015)
by: Шинкаренко, В.И., et al.
Published: (2015)
Условия единственности решения неоднородной системы нелинейных случайных уравнений над полем GF(3)
by: Масол, В.И., et al.
Published: (2010)
by: Масол, В.И., et al.
Published: (2010)
Структурные модели алгоритмов в задачах прикладного программирования. II. Структурно-алгоритмический подход к моделированию программного обеспечения
by: Шинкаренко, В.И., et al.
Published: (2009)
by: Шинкаренко, В.И., et al.
Published: (2009)
Гладкая и топологическая эквивалентность функций на поверхностях
by: Шарко, В.В.
Published: (2003)
by: Шарко, В.В.
Published: (2003)
Классификация бинарных детерминированных статистических экспериментов с настойчивой регрессией
by: Королюк, Д.В.
Published: (2015)
by: Королюк, Д.В.
Published: (2015)
Реоптимизация обобщенных проблем о выполнимости с аппроксимационно-устойчивыми предикатами
by: Михайлюк, В.А., et al.
Published: (2012)
by: Михайлюк, В.А., et al.
Published: (2012)
Асимптотическая стохастическая устойчивость решений динамических систем с последействием с учетом марковских возмущений
by: Антонюк, С.В., et al.
Published: (2013)
by: Антонюк, С.В., et al.
Published: (2013)
Экзистенциальные основания композиционной парадигмы
by: Редько, В.Н., et al.
Published: (2008)
by: Редько, В.Н., et al.
Published: (2008)
Метод итеративного построения терминологии в коллекциях научных текстов на украинском языке
by: Глибовец, А.Н., et al.
Published: (2014)
by: Глибовец, А.Н., et al.
Published: (2014)
Анализ алгоритмов диффузии для решения оптимизационных задач структурного распознавания
by: Шлезингер, М.И., et al.
Published: (2011)
by: Шлезингер, М.И., et al.
Published: (2011)
Моделирование мультиагентных систем с помощью обобщенных сетей активных ресурсов
by: Башкин, В.А., et al.
Published: (2011)
by: Башкин, В.А., et al.
Published: (2011)
О некоторых научных результатах Ю. М. Ермольева и его школы в области современной теории оптимизации
by: Кнопов, П.С., et al.
Published: (2011)
by: Кнопов, П.С., et al.
Published: (2011)
Помехоустойчивое префиксное кодирование с помощью нижнего (2,3)-представления чисел
by: Анисимов, А.В., et al.
Published: (2014)
by: Анисимов, А.В., et al.
Published: (2014)
Метод моделирования структуры исходных данных и подклассы разрешимых задач комбинаторной оптимизации
by: Донец, Г.А., et al.
Published: (2014)
by: Донец, Г.А., et al.
Published: (2014)
Similar Items
-
Эквивалентность двумерных многоленточных автоматов
by: Григорян, А.А., et al.
Published: (2008) -
Эквивалентность регулярных выражений в частично коммутативном алфавите
by: Шукурян, А.С.
Published: (2009) -
Согласование взаимодействующих автоматов
by: Чеботарев, А.Н.
Published: (2015) -
О сложности анализа автоматов над конечным кольцом
by: Скобелев, В.В., et al.
Published: (2010) -
Проверка эквивалентности программ с помощью двухленточных автоматов
by: Захаров, В.А.
Published: (2010)