Проблемы синтеза ∑-автоматов, специфицированных в языках LP и LF логики первого порядка
Для двух фрагментов, LP и LF, логики первого порядка с ограниченными кванторами сформулированы и доказаны соответствующие варианты теоремы о спецификации, позволяющие свести процедуру синтеза ∑-автоматов, специфицированных формулами этих логик, к эквивалентному преобразованию формул. Для двох фрагме...
Збережено в:
| Опубліковано в: : | Кибернетика и системный анализ |
|---|---|
| Дата: | 2017 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
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| _version_ | 1862663837198581760 |
|---|---|
| author | Чеботарев, А.Н. |
| author_facet | Чеботарев, А.Н. |
| citation_txt | Проблемы синтеза ∑-автоматов, специфицированных в языках LP и LF логики первого порядка / А.Н. Чеботарев // Кибернетика и системный анализ. — 2017. — Т. 53, № 5. — С. 22–33. — Бібліогр.: 13 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| 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.
|
| first_indexed | 2025-12-07T15:12:54Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-144787 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0023-1274 |
| language | Russian |
| last_indexed | 2025-12-07T15:12:54Z |
| publishDate | 2017 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| 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 |
| spellingShingle | Проблемы синтеза ∑-автоматов, специфицированных в языках LP и LF логики первого порядка Чеботарев, А.Н. Кібернетика |
| title | Проблемы синтеза ∑-автоматов, специфицированных в языках LP и LF логики первого порядка |
| title_alt | Проблеми синтезу ∑-автоматів, специфікованих мовами LP і LF логіки першого порядку Problems of synthesis of ∑-automata specified in languages LP and LF of first order logic |
| title_full | Проблемы синтеза ∑-автоматов, специфицированных в языках LP и LF логики первого порядка |
| title_fullStr | Проблемы синтеза ∑-автоматов, специфицированных в языках LP и LF логики первого порядка |
| title_full_unstemmed | Проблемы синтеза ∑-автоматов, специфицированных в языках LP и LF логики первого порядка |
| title_short | Проблемы синтеза ∑-автоматов, специфицированных в языках LP и LF логики первого порядка |
| title_sort | проблемы синтеза ∑-автоматов, специфицированных в языках lp и lf логики первого порядка |
| topic | Кібернетика |
| topic_facet | Кібернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/144787 |
| work_keys_str_mv | AT čebotarevan problemysintezaavtomatovspecificirovannyhvâzykahlpilflogikipervogoporâdka AT čebotarevan problemisintezuavtomatívspecifíkovanihmovamilpílflogíkiperšogoporâdku AT čebotarevan problemsofsynthesisofautomataspecifiedinlanguageslpandlfoffirstorderlogic |