Проблемы синтеза ∑-автоматов, специфицированных в языках LP и LF логики первого порядка
Для двух фрагментов, LP и LF, логики первого порядка с ограниченными кванторами сформулированы и доказаны соответствующие варианты теоремы о спецификации, позволяющие свести процедуру синтеза ∑-автоматов, специфицированных формулами этих логик, к эквивалентному преобразованию формул. Для двох фрагме...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2017 |
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2017
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/144787 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Проблемы синтеза ∑-автоматов, специфицированных в языках LP и LF логики первого порядка / А.Н. Чеботарев // Кибернетика и системный анализ. — 2017. — Т. 53, № 5. — С. 22–33. — Бібліогр.: 13 назв. — рос. |
Institution
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 |