Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов
|
|
| Creator |
Чеботарев, А.Н.
|
|
| Subject |
Кібернетика
|
|
| 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. |
|
| Date |
2019-01-03T18:49:57Z
2019-01-03T18:49:57Z 2017 |
|
| Type |
Article
|
|
| Identifier |
Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов / А.Н. Чеботарев // Кибернетика и системный анализ. — 2017. — Т. 53, № 4. — С. 22–36. — Бібліогр.: 14 назв. — рос.
0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/144770 519.713.1 |
|
| Language |
ru
|
|
| Relation |
Кибернетика и системный анализ
|
|
| Publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України
|
|