Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов
Рассмотрены два фрагмента, 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/144770 |
| 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: | Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов / А.Н. Чеботарев // Кибернетика и системный анализ. — 2017. — Т. 53, № 4. — С. 22–36. — Бібліогр.: 14 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862605140658225152 |
|---|---|
| author | Чеботарев, А.Н. |
| author_facet | Чеботарев, А.Н. |
| citation_txt | Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов / А.Н. Чеботарев // Кибернетика и системный анализ. — 2017. — Т. 53, № 4. — С. 22–36. — Бібліогр.: 14 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| description | Рассмотрены два фрагмента, LP и LF, логики первого порядка с ограниченными кванторами, используемые для спецификации трансдьюсеров. Логика LP позволяет характеризовать текущее поведение системы на основе ее поведения в прошлом, а LF — на основе поведения в будущем. Определены два вида семантик для этих логик и исследованы свойства специфицируемых в них автоматов.
Розглянуто два фрагменти, LP і LF, логіки першого порядку з обмеженими кванторами, які використовуються для специфікації трансд’юсерів. Логіка LP дозволяє характеризувати поточну поведінку системи на основі її минулої поведінки, а LF — на основі майбутньої поведінки. Визначено два види семантик для цих логік та досліджено властивості автоматів, що в них специфікуються.
Two fragments, LP and LF, of first-order logic with bounded quantifiers used for specification of transducers are considered. Fragment LP enables the current behaviour of a system to be characterized on the basis of its past behaviour, and LF relies on the future behaviour. Two kinds of semantics are defined for logics LP and LF, and the properties of automata specified in these logics are investigated.
|
| first_indexed | 2025-11-28T09:42:37Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-144770 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0023-1274 |
| language | Russian |
| last_indexed | 2025-11-28T09:42:37Z |
| publishDate | 2017 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Чеботарев, А.Н. 2019-01-03T18:49:57Z 2019-01-03T18:49:57Z 2017 Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов / А.Н. Чеботарев // Кибернетика и системный анализ. — 2017. — Т. 53, № 4. — С. 22–36. — Бібліогр.: 14 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/144770 519.713.1 Рассмотрены два фрагмента, LP и LF, логики первого порядка с ограниченными кванторами, используемые для спецификации трансдьюсеров. Логика LP позволяет характеризовать текущее поведение системы на основе ее поведения в прошлом, а LF — на основе поведения в будущем. Определены два вида семантик для этих логик и исследованы свойства специфицируемых в них автоматов. Розглянуто два фрагменти, LP і LF, логіки першого порядку з обмеженими кванторами, які використовуються для специфікації трансд’юсерів. Логіка LP дозволяє характеризувати поточну поведінку системи на основі її минулої поведінки, а LF — на основі майбутньої поведінки. Визначено два види семантик для цих логік та досліджено властивості автоматів, що в них специфікуються. Two fragments, LP and LF, of first-order logic with bounded quantifiers used for specification of transducers are considered. Fragment LP enables the current behaviour of a system to be characterized on the basis of its past behaviour, and LF relies on the future behaviour. Two kinds of semantics are defined for logics LP and LF, and the properties of automata specified in these logics are investigated. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Кібернетика Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов Деякі підмножини монадичної логіки першого порядку (mfo), що використовуються для специфікації і синтезу ∑-автоматів Some subsets of monadic first order logic (mfo) used for specification and synthesis of ∑-automata Article published earlier |
| spellingShingle | Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов Чеботарев, А.Н. Кібернетика |
| title | Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов |
| title_alt | Деякі підмножини монадичної логіки першого порядку (mfo), що використовуються для специфікації і синтезу ∑-автоматів Some subsets of monadic first order logic (mfo) used for specification and synthesis of ∑-automata |
| title_full | Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов |
| title_fullStr | Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов |
| title_full_unstemmed | Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов |
| title_short | Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов |
| title_sort | некоторые подмножества монадической логики первого порядка (mfo), используемые для спецификации и синтеза ∑-автоматов |
| topic | Кібернетика |
| topic_facet | Кібернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/144770 |
| work_keys_str_mv | AT čebotarevan nekotoryepodmnožestvamonadičeskoilogikipervogoporâdkamfoispolʹzuemyedlâspecifikaciiisintezaavtomatov AT čebotarevan deâkípídmnožinimonadičnoílogíkiperšogoporâdkumfoŝovikoristovuûtʹsâdlâspecifíkacííísintezuavtomatív AT čebotarevan somesubsetsofmonadicfirstorderlogicmfousedforspecificationandsynthesisofautomata |