Buchumschlag

Анализ фиктивности состояний автомата, синтезированного по спецификации, преобразованной из языка L* в язык L

Розглянуто метод синтезу скінченного автомата, специфікованого логічною мовою L*. Цей метод базується на трансляції специфікації у менш виразну мову L і застосуванні існуючого методу синтезу автомата за специфікацією у цій мові. Автомат, що синтезується у такий спосіб, може мати зайві (фіктивні) ста...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Кибернетика и системный анализ
Datum:	2013
1. Verfasser:	Чеботарев, А.Н.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут кібернетики ім. В.М. Глушкова НАН України 2013
Schlagworte:	Кибернетика
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/86159
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:	Анализ фиктивности состояний автомата, синтезированного по спецификации, преобразованной из языка L* в язык L / А.Н. Чеботарев // Кибернетика и системный анализ. — 2013. — Т. 49, № 1. — С. 3-10. — Бібліогр.: 8 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Усовершенствованный метод синтеза автомата по его спецификации в языке L
von: Тимофеев, В.Г., et al.
Veröffentlicht: (2011)

Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L
von: Чеботарев, А.Н.
Veröffentlicht: (2010)

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

О классе формул языка L*, специфицирующих автоматы с конечной памятью
von: Чеботарев, А.Н.
Veröffentlicht: (2010)

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

Формальные методы анализа дискретных систем с использованием языка спецификаций
von: Крывый, С.Л., et al.
Veröffentlicht: (2009)

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

Методика разработки и средства формализации функциональных спецификаций систем и устройств
von: Годлевский, А.Б., et al.
Veröffentlicht: (2016)

Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
von: Визовитин, Н.В., et al.
Veröffentlicht: (2015)

Алгебраическая интерпретация микропрограммного автомата с операционным автоматом переходов
von: Бабаков, Р.М., et al.
Veröffentlicht: (2016)

Определение фиктивных состояний в Σ-автомате, синтезированном по спецификации в языке LP
von: Чеботарев, А.Н.
Veröffentlicht: (2019)

Композиционный подход к проектированию реактивных алгоритмов
von: Чеботарев, А.Н.
Veröffentlicht: (2013)

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

Проектирование реактивных алгоритмов путем решения уравнений над автоматами
von: Чеботарев, А.Н.
Veröffentlicht: (2012)

Операционное формирование кодов состояний в микропрограммных автоматах
von: Баркалов, А.А., et al.
Veröffentlicht: (2011)

Синтез автомата, специфицированного множеством дизъюнктов
von: Чеботарев, А.Н.
Veröffentlicht: (2003)

Метод вычисления семантической близости-связности между словами естественного языка
von: Анисимов, А.В., et al.
Veröffentlicht: (2011)

Информационная технология анализа мимических проявлений эмоциональных состояний человека
von: Кривонос, Ю.Г., et al.
Veröffentlicht: (2015)

Метод автоматического построения онтологических баз знаний. I. Разработка семантико-синтаксической модели естественного языка
von: Марченко, А.А.
Veröffentlicht: (2016)

Допустимые преобразования автомата, взаимодействующего со средой
von: Чеботарев, А.Н., et al.
Veröffentlicht: (2010)

Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов
von: Чеботарев, А.Н.
Veröffentlicht: (2017)

Анализ класса семейств легко вычислимых перестановок
von: Скобелев, В.Г., et al.
Veröffentlicht: (2008)

Методология введения количественного анализа в язык описаний и спецификаций требований к алгоритмам протоколов интеллектуальных сетей
von: Биляк, В.И.
Veröffentlicht: (2005)

Анализ устойчивости задачи о ранце: один отрицательный результат
von: Михайлюк, В.А., et al.
Veröffentlicht: (2013)

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

Анализ алгоритмов диффузии для решения оптимизационных задач структурного распознавания
von: Шлезингер, М.И., et al.
Veröffentlicht: (2011)

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

Многомерный статистический анализ влияния глобальных угроз на безопасность стран мира
von: Померанцева, Т.Н., et al.
Veröffentlicht: (2010)

Анализ автомата Спротта над конечным кольцом
von: Скобелев, В.Г.
Veröffentlicht: (2010)

Язык как средство хранения культурно-исторической информации: кумулятивная функция языка
von: Бай, Ш.М.
Veröffentlicht: (2006)

Язык как отражение культуры (на примере австрийского варианта немецкого языка)
von: Евтихова, И.М., et al.
Veröffentlicht: (2013)

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

Микроструктура и характеристики сплава Zr-1%Nb, синтезированного из гетерогенных порошковых смесей
von: Ивасишин, О.М., et al.
Veröffentlicht: (2015)

Анализ free-running автомата над конечным кольцом
von: Скобелев, В.В.
Veröffentlicht: (2010)

Исследование процесса управления, синтезированного по приближенной идентифицированной модели
von: Гуммель, А.В.
Veröffentlicht: (2014)

Улучшенная верхняя граница для относительного расстояния между булевой функцией и множеством k-мерных функций
von: Алексейчук, А.Н.
Veröffentlicht: (2015)

Метод итеративного построения терминологии в коллекциях научных текстов на украинском языке
von: Глибовец, А.Н., et al.
Veröffentlicht: (2014)

Верхние оценки несбалансированности билинейных аппроксимаций раундовых функций блочных шифров
von: Алексейчук, А.Н., et al.
Veröffentlicht: (2010)

Верификация программ: состояние, проблемы, результаты. II
von: Крывый, С.Л., et al.
Veröffentlicht: (2014)

Об эффективности метода вероятностно нейтральных битов в статистическом криптоанализе синхронных поточных шифров
von: Алексейчук, А.Н., et al.
Veröffentlicht: (2016)