RUS  ENG
Полная версия
ЖУРНАЛЫ // Дискретный анализ и исследование операций // Архив

Дискретн. анализ и исслед. опер., 2008, том 15, выпуск 4, страницы 44–56 (Mi da540)

Эта публикация цитируется в 4 статьях

Нижние оценки длины кратчайших бережно синхронизирующих слов для двух- и трёхбуквенных частичных автоматов

П. В. Мартюгин

Уральский государственный университет им. А. М. Горького

Аннотация: Описывается понятие слов, бережно синхронизирующих частичные конечные автоматы (ЧКА). Бережная синхронизируемость ЧКА является естественным обобщением синхронизируемости детерминированных конечных автоматов. В статье доказывается, что нижние оценки величин порога бережной синхронизации для множеств двух- и трёхбуквенных автоматов с данным количеством состояний растут быстрее любого полинома от количества состояний. Табл. 1, ил. 3, библиогр. 11.

Ключевые слова: автоматы, синхронизируемость.

УДК: 519.713.2

Статья поступила: 18.04.2008
Переработанный вариант: 13.05.2008



Реферативные базы данных:


© МИАН, 2024