Buchumschlag

Определение фиктивных состояний в Σ-автомате, синтезированном по спецификации в языке LP

Синтез детерминированного Σ-автомата, специфицированного в языке LP, состоит в последовательном выполнении двух процедур. Первая строит автомат, имеющий подавтомат, совпадающий со специфицированным автоматом, а вторая удаляет состояния, не принадлежащие этому подавтомату. Такие состояния называются...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Кибернетика и системный анализ
Datum:	2019
1. Verfasser:	Чеботарев, А.Н.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут кібернетики ім. В.М. Глушкова НАН України 2019
Schlagworte:	Кібернетика
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/181029
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:	Определение фиктивных состояний в Σ-автомате, синтезированном по спецификации в языке LP / А.Н. Чеботарев // Кибернетика и системный анализ. — 2019. — Т. 55, № 5. — С. 47-57. — Бібліогр.: 7 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

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

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

Смешанное кодирование наборов микроопераций в микропрограммном автомате
von: Баркалов, А.А., et al.
Veröffentlicht: (2020)

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

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

Синтез ∑-автоматов, специфицированных в логических языках LP и LF первого порядка
von: Чеботарев, А.Н.
Veröffentlicht: (2018)

Проблемы синтеза ∑-автоматов, специфицированных в языках LP и LF логики первого порядка
von: Чеботарев, А.Н.
Veröffentlicht: (2017)

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

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

Двойное кодирование состояний в совмещенном автомате
von: Баркалов, А.А., et al.
Veröffentlicht: (2019)

Оптимальное кодирование состояний в совмещенном автомате
von: Баркалов, А.А., et al.
Veröffentlicht: (2016)

Нечеткие спецификации логического вывода в системе Гомеопат
von: Провотар, А.А., et al.
Veröffentlicht: (2012)

Новые функциональные возможности системы обработки естественноязыковых спецификаций и среда ее функционирования
von: Мищенко, Н.М., et al.
Veröffentlicht: (2018)

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

Идентификация градиентными методами теплового и термонапряженного состояний двухслойного цилиндра по поверхностным перемещениям
von: Сергиенко, И.В., et al.
Veröffentlicht: (2009)

Асимптотичні властивості Σ-класифікатора для багатокласових задач розпізнавання з нееліптичним розподілом даних
von: Галкін, О.А.
Veröffentlicht: (2016)

Определение языков XML/RDF Semantic Web в метаязыке нормальных форм знаний
von: Кургаев, А.Ф., et al.
Veröffentlicht: (2017)

Смешанное кодирование наборов микроопераций в совмещенном автомате
von: Баркалов, А.А., et al.
Veröffentlicht: (2018)

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

Новое определение языка веб-онтологий OWL2
von: Кургаев, А.Ф.
Veröffentlicht: (2018)

Определение классов состояний динамической социальной сети по трафикам ее мониторинга
von: Савельев, О.О., et al.
Veröffentlicht: (2013)

Компьютерная диагностика по сигналам сложной формы в условиях внутренних и внешних возмущений
von: Гриценко, В.И., et al.
Veröffentlicht: (2013)

Уменьшение максимального количества существенных входных переменных в микропрограммном автомате с операционным автоматом переходов
von: Бабаков, Р.М., et al.
Veröffentlicht: (2018)

Достовірність в нечітких системах логічного виведення
von: Провотар, О.І., et al.
Veröffentlicht: (2017)

Достижимая верхняя граница sup-нормы произведения элементов кольца усеченных многочленов и ее применение к анализу NTRU-подобных криптосистем
von: Алексейчук, А.Н., et al.
Veröffentlicht: (2021)

Оптимизация схемы совмещенного автомата в базисе ASIC
von: Баркалов, А.А., et al.
Veröffentlicht: (2020)

О тестировании спецификации моделей PANEL-данных
von: Некрылова, З.В., et al.
Veröffentlicht: (2011)

Інваріантне керування повітряним судном в умовах вітрових збурень
von: Павлова, С.В., et al.
Veröffentlicht: (2018)

Точные условия разрешимости задачи Коши для систем линейных функционально-дифференциальных уравнений первого порядка, задаваемых (σ₁,σ₂,...,σn;τ)-положительными операторами
von: Ронто, А.Н.
Veröffentlicht: (2003)

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

Доказательство теорем в нечеткой логике на основе структурной резолюции
von: Самохвалов, Ю.Я.
Veröffentlicht: (2019)

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

Верхняя граница для суммы корреляций трех индикаторов в отсутствие общего фактора
von: Балабанов, А.С.
Veröffentlicht: (2019)

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

Вклад вероятностно-статистической школы Бориса Владимировича Гнеденко в развитие кибернетики и информатики
von: Коваленко, И.Н.
Veröffentlicht: (2017)

Принципи організації сітківки ока людини та їхнє використання в системах комп’ютерного зору
von: Боюн, В.П., et al.
Veröffentlicht: (2019)

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

Количество информации о ключе, содержащейся в наборах открытых и шифрованных текстов симметричной рандомизированной криптосистемы Мак-Элиса
von: Митин, С.В.
Veröffentlicht: (2020)

Поиск программных инвариантов в виде полиномов
von: Максимец, А.Н.
Veröffentlicht: (2013)

Численное исследование систем сингулярных интегральных уравнений первого рода и с неопределяемым индексом в задаче о дифракции плоских волн на неподвижном включении
von: Панченко, Б.Е., et al.
Veröffentlicht: (2020)