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

От формул вида F(t) языка LP к -ω-регулярным выражениям

При синтезе Σ-автомата, специфицированного в языке LP, возникает задача представления множества обратных сверхслов, задаваемых формулой F(t), в виде -ω-регулярного выражения. Построение этого выражения основано на соответствии между структурными элементами формул и -ω-регулярных выражений. Для обесп...

Повний опис

Збережено в:

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

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

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

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

Предиктивная система набора текста для украинского языка
за авторством: Кривонос, Ю.Г., та інші
Опубліковано: (2017)

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

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

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

К проблеме перевода патентных формул
за авторством: Клепикова, Т.Г.
Опубліковано: (2003)

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

Approximation of the Classes HpΩ of Periodic Functions of Many Variables in the Space Lp
за авторством: N. V. Derevianko
Опубліковано: (2014)

Наближення класів HΩp періодичних функцій багатьох змінних у просторі Lp
за авторством: Дерев’янко, Н.В.
Опубліковано: (2014)

Approximation of the Classes $H_p^{Ω}$ of Periodic Functions of Many Variables in the Space $L_p$
за авторством: Derev’yanko, N. V., та інші
Опубліковано: (2014)

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

Точные оценки приближения в Lp функциями вида φ(x) + ψ(y)
за авторством: Пичугов, С.А.
Опубліковано: (1989)

Об одном способе приведения граничных задач для системы дифференциальных уравнений эллиптического типа к регулярным интегральным уравнени
за авторством: Лопатинский, Я. Б., та інші
Опубліковано: (1953)

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

Выполнимость ярких формул
за авторством: Денисов, А.С.
Опубліковано: (2007)

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

Построение свободной от радикалов Φ-функции для шара и неориентированного многогранника
за авторством: Стоян, Ю.Г., та інші
Опубліковано: (2011)

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

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

К построению кубатурных формул, инвариантных относительно диэдральных групп
за авторством: Шамсиев, Э.А.
Опубліковано: (2008)

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

К вопросу подобия технологических процессов производственно-технических систем
за авторством: Азаренков, Н.А., та інші
Опубліковано: (2011)

Об оптимизации весовых квадратурных формул
за авторством: Бабенко, В.Ф.
Опубліковано: (1995)

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

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

К критерию при многократном выборе решения
за авторством: Михалевич, В.М.
Опубліковано: (2011)

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

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

К проблеме неопределенности при многократном выборе решений
за авторством: Михалевич, В.М.
Опубліковано: (2012)

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

Оптимальное управление переносом лекарств из систем микроигл
за авторством: Ляшко, С.И., та інші
Опубліковано: (2018)

Точные оценки временной сложности реализации алгоритмов теоретико-множественных операций в табличных алгебрах
за авторством: Редько, В.Н., та інші
Опубліковано: (2017)

Математическая модель взаимодействия симметричного волчка с аксиально-симметричным внешним полем
за авторством: Зуб, С.И., та інші
Опубліковано: (2017)

Оптимальное восстановление определенного интеграла от монотонных функций класса Hω
за авторством: Бусарова, Т.Н.
Опубліковано: (1997)

К моделированию системы принятия решения для необайесовских задач
за авторством: Михалевич, В.М.
Опубліковано: (2011)

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