Проблемы синтеза ∑-автоматов, специфицированных в языках LP и LF логики первого порядка

Проблемы синтеза ∑-автоматов, специфицированных в языках LP и LF логики первого порядка

Для двух фрагментов, LP и LF, логики первого порядка с ограниченными кванторами сформулированы и доказаны соответствующие варианты теоремы о спецификации, позволяющие свести процедуру синтеза ∑-автоматов, специфицированных формулами этих логик, к эквивалентному преобразованию формул. Для двох фрагме...

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в: :Кибернетика и системный анализ
Дата:2017
Автор: Чеботарев, А.Н.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут кібернетики ім. В.М. Глушкова НАН України 2017
Теми:
Кібернетика
Онлайн доступ:https://nasplib.isofts.kiev.ua/handle/123456789/144787
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Проблемы синтеза ∑-автоматов, специфицированных в языках LP и LF логики первого порядка / А.Н. Чеботарев // Кибернетика и системный анализ. — 2017. — Т. 53, № 5. — С. 22–33. — Бібліогр.: 13 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-144787
record_format dspace
spelling Чеботарев, А.Н.
2019-01-04T18:02:40Z
2019-01-04T18:02:40Z
2017
Проблемы синтеза ∑-автоматов, специфицированных в языках LP и LF логики первого порядка / А.Н. Чеботарев // Кибернетика и системный анализ. — 2017. — Т. 53, № 5. — С. 22–33. — Бібліогр.: 13 назв. — рос.
0023-1274
https://nasplib.isofts.kiev.ua/handle/123456789/144787
519.713.1
Для двух фрагментов, LP и LF, логики первого порядка с ограниченными кванторами сформулированы и доказаны соответствующие варианты теоремы о спецификации, позволяющие свести процедуру синтеза ∑-автоматов, специфицированных формулами этих логик, к эквивалентному преобразованию формул.
Для двох фрагментів, LP і LF, логіки першого порядку з обмеженими кванторами сформульовано і доведено відповідні варіанти теореми про специфікацію, які дають можливість зведення процедури синтезу ∑-автоматів, що специфіковані формулами цих логік, до еквівалентного перетворення формул.
For two fragments LP and LF of monadic first-order logic with bounded quantifiers, the corresponding versions of specification theorem are formulated and proved, which enables the ∑-automata synthesis procedure to be reduced to the equivalent transformation of formulas.
ru
Інститут кібернетики ім. В.М. Глушкова НАН України
Кибернетика и системный анализ
Кібернетика
Проблемы синтеза ∑-автоматов, специфицированных в языках LP и LF логики первого порядка
Проблеми синтезу ∑-автоматів, специфікованих мовами LP і LF логіки першого порядку
Problems of synthesis of ∑-automata specified in languages LP and LF of first order logic
Article
published earlier
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Проблемы синтеза ∑-автоматов, специфицированных в языках LP и LF логики первого порядка
spellingShingle Проблемы синтеза ∑-автоматов, специфицированных в языках LP и LF логики первого порядка
Чеботарев, А.Н.
Кібернетика
title_short Проблемы синтеза ∑-автоматов, специфицированных в языках LP и LF логики первого порядка
title_full Проблемы синтеза ∑-автоматов, специфицированных в языках LP и LF логики первого порядка
title_fullStr Проблемы синтеза ∑-автоматов, специфицированных в языках LP и LF логики первого порядка
title_full_unstemmed Проблемы синтеза ∑-автоматов, специфицированных в языках LP и LF логики первого порядка
title_sort проблемы синтеза ∑-автоматов, специфицированных в языках lp и lf логики первого порядка
author Чеботарев, А.Н.
author_facet Чеботарев, А.Н.
topic Кібернетика
topic_facet Кібернетика
publishDate 2017
language Russian
container_title Кибернетика и системный анализ
publisher Інститут кібернетики ім. В.М. Глушкова НАН України
format Article
title_alt Проблеми синтезу ∑-автоматів, специфікованих мовами LP і LF логіки першого порядку
Problems of synthesis of ∑-automata specified in languages LP and LF of first order logic
description Для двух фрагментов, LP и LF, логики первого порядка с ограниченными кванторами сформулированы и доказаны соответствующие варианты теоремы о спецификации, позволяющие свести процедуру синтеза ∑-автоматов, специфицированных формулами этих логик, к эквивалентному преобразованию формул. Для двох фрагментів, LP і LF, логіки першого порядку з обмеженими кванторами сформульовано і доведено відповідні варіанти теореми про специфікацію, які дають можливість зведення процедури синтезу ∑-автоматів, що специфіковані формулами цих логік, до еквівалентного перетворення формул. For two fragments LP and LF of monadic first-order logic with bounded quantifiers, the corresponding versions of specification theorem are formulated and proved, which enables the ∑-automata synthesis procedure to be reduced to the equivalent transformation of formulas.
issn 0023-1274
url https://nasplib.isofts.kiev.ua/handle/123456789/144787
citation_txt Проблемы синтеза ∑-автоматов, специфицированных в языках LP и LF логики первого порядка / А.Н. Чеботарев // Кибернетика и системный анализ. — 2017. — Т. 53, № 5. — С. 22–33. — Бібліогр.: 13 назв. — рос.
work_keys_str_mv AT čebotarevan problemysintezaavtomatovspecificirovannyhvâzykahlpilflogikipervogoporâdka
AT čebotarevan problemisintezuavtomatívspecifíkovanihmovamilpílflogíkiperšogoporâdku
AT čebotarevan problemsofsynthesisofautomataspecifiedinlanguageslpandlfoffirstorderlogic
first_indexed 2025-12-07T15:12:54Z
last_indexed 2025-12-07T15:12:54Z
_version_ 1850862861677494272

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