Зображення обкладинки

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Кибернетика и системный анализ
Дата:	2019
Автор:	Чеботарев, А.Н.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2019
Теми:	Кібернетика
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/181029
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Определение фиктивных состояний в Σ-автомате, синтезированном по спецификации в языке LP / А.Н. Чеботарев // Кибернетика и системный анализ. — 2019. — Т. 55, № 5. — С. 47-57. — Бібліогр.: 7 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

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

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

Смешанное кодирование наборов микроопераций в микропрограммном автомате
за авторством: Баркалов, А.А., та інші
Опубліковано: (2020)

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

Усовершенствованный метод синтеза автомата по его спецификации в языке L
за авторством: Тимофеев, В.Г., та інші
Опубліковано: (2011)

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

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

Синтез автомата, специфицированного в языке L*, путем перехода к спецификации в языке L
за авторством: Чеботарев, А.Н., та інші
Опубліковано: (2011)

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

Двойное кодирование состояний в совмещенном автомате
за авторством: Баркалов, А.А., та інші
Опубліковано: (2019)

Оптимальное кодирование состояний в совмещенном автомате
за авторством: Баркалов, А.А., та інші
Опубліковано: (2016)

Нечеткие спецификации логического вывода в системе Гомеопат
за авторством: Провотар, А.А., та інші
Опубліковано: (2012)

Новые функциональные возможности системы обработки естественноязыковых спецификаций и среда ее функционирования
за авторством: Мищенко, Н.М., та інші
Опубліковано: (2018)

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

Идентификация градиентными методами теплового и термонапряженного состояний двухслойного цилиндра по поверхностным перемещениям
за авторством: Сергиенко, И.В., та інші
Опубліковано: (2009)

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

Определение языков XML/RDF Semantic Web в метаязыке нормальных форм знаний
за авторством: Кургаев, А.Ф., та інші
Опубліковано: (2017)

Смешанное кодирование наборов микроопераций в совмещенном автомате
за авторством: Баркалов, А.А., та інші
Опубліковано: (2018)

Определение области эффективного применения микропрограммного автомата с операционным автоматом переходов
за авторством: Бабаков, Р.М., та інші
Опубліковано: (2018)

Новое определение языка веб-онтологий OWL2
за авторством: Кургаев, А.Ф.
Опубліковано: (2018)

Определение классов состояний динамической социальной сети по трафикам ее мониторинга
за авторством: Савельев, О.О., та інші
Опубліковано: (2013)

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

Уменьшение максимального количества существенных входных переменных в микропрограммном автомате с операционным автоматом переходов
за авторством: Бабаков, Р.М., та інші
Опубліковано: (2018)

Достовірність в нечітких системах логічного виведення
за авторством: Провотар, О.І., та інші
Опубліковано: (2017)

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

Оптимизация схемы совмещенного автомата в базисе ASIC
за авторством: Баркалов, А.А., та інші
Опубліковано: (2020)

О тестировании спецификации моделей PANEL-данных
за авторством: Некрылова, З.В., та інші
Опубліковано: (2011)

Інваріантне керування повітряним судном в умовах вітрових збурень
за авторством: Павлова, С.В., та інші
Опубліковано: (2018)

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

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

Доказательство теорем в нечеткой логике на основе структурной резолюции
за авторством: Самохвалов, Ю.Я.
Опубліковано: (2019)

Верхние оценки несбалансированности дискретных функций, реализуемых последовательностями конечных автоматов
за авторством: Алексейчук, А.Н., та інші
Опубліковано: (2019)

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

Сорбционно-спектрофотометрическое определение молибдена в растительных материалах
за авторством: Чеботарев, А.Н., та інші
Опубліковано: (2000)

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

Принципи організації сітківки ока людини та їхнє використання в системах комп’ютерного зору
за авторством: Боюн, В.П., та інші
Опубліковано: (2019)

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

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

Поиск программных инвариантов в виде полиномов
за авторством: Максимец, А.Н.
Опубліковано: (2013)

Численное исследование систем сингулярных интегральных уравнений первого рода и с неопределяемым индексом в задаче о дифракции плоских волн на неподвижном включении
за авторством: Панченко, Б.Е., та інші
Опубліковано: (2020)