Наукова електронна бібліотека
періодичних видань НАН України
періодичних видань НАН України
Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов
Репозиторій DSpace/Manakin
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Чеботарев, А.Н. | |
| dc.date.accessioned | 2019-01-03T18:49:57Z | |
| dc.date.available | 2019-01-03T18:49:57Z | |
| dc.date.issued | 2017 | |
| dc.identifier.citation | Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов / А.Н. Чеботарев // Кибернетика и системный анализ. — 2017. — Т. 53, № 4. — С. 22–36. — Бібліогр.: 14 назв. — рос. | uk_UA |
| dc.identifier.issn | 0023-1274 | |
| dc.identifier.uri | http://dspace.nbuv.gov.ua/handle/123456789/144770 | |
| dc.description.abstract | Рассмотрены два фрагмента, LP и LF, логики первого порядка с ограниченными кванторами, используемые для спецификации трансдьюсеров. Логика LP позволяет характеризовать текущее поведение системы на основе ее поведения в прошлом, а LF — на основе поведения в будущем. Определены два вида семантик для этих логик и исследованы свойства специфицируемых в них автоматов. | uk_UA |
| dc.description.abstract | Розглянуто два фрагменти, LP і LF, логіки першого порядку з обмеженими кванторами, які використовуються для специфікації трансд’юсерів. Логіка LP дозволяє характеризувати поточну поведінку системи на основі її минулої поведінки, а LF — на основі майбутньої поведінки. Визначено два види семантик для цих логік та досліджено властивості автоматів, що в них специфікуються. | uk_UA |
| dc.description.abstract | 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. | uk_UA |
| dc.language.iso | ru | uk_UA |
| dc.publisher | Інститут кібернетики ім. В.М. Глушкова НАН України | uk_UA |
| dc.relation.ispartof | Кибернетика и системный анализ | |
| dc.subject | Кібернетика | uk_UA |
| dc.title | Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов | uk_UA |
| dc.title.alternative | Деякі підмножини монадичної логіки першого порядку (mfo), що використовуються для специфікації і синтезу ∑-автоматів | uk_UA |
| dc.title.alternative | Some subsets of monadic first order logic (mfo) used for specification and synthesis of ∑-automata | uk_UA |
| dc.type | Article | uk_UA |
| dc.status | published earlier | uk_UA |
| dc.identifier.udc | 519.713.1 |
