Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов

Скорочена інформація про документ
dc.contributor.authorЧеботарев, А.Н.
dc.date.accessioned2019-01-03T18:49:57Z
dc.date.available2019-01-03T18:49:57Z
dc.date.issued2017
dc.description.abstractРассмотрены два фрагмента, LP и LF, логики первого порядка с ограниченными кванторами, используемые для спецификации трансдьюсеров. Логика LP позволяет характеризовать текущее поведение системы на основе ее поведения в прошлом, а LF — на основе поведения в будущем. Определены два вида семантик для этих логик и исследованы свойства специфицируемых в них автоматов.uk_UA
dc.description.abstractРозглянуто два фрагменти, LP і LF, логіки першого порядку з обмеженими кванторами, які використовуються для специфікації трансд’юсерів. Логіка LP дозволяє характеризувати поточну поведінку системи на основі її минулої поведінки, а LF — на основі майбутньої поведінки. Визначено два види семантик для цих логік та досліджено властивості автоматів, що в них специфікуються.uk_UA
dc.description.abstractTwo 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.identifier.citationНекоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов / А.Н. Чеботарев // Кибернетика и системный анализ. — 2017. — Т. 53, № 4. — С. 22–36. — Бібліогр.: 14 назв. — рос.uk_UA
dc.identifier.issn0023-1274
dc.identifier.udc519.713.1
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/144770
dc.language.isoruuk_UA
dc.publisherІнститут кібернетики ім. В.М. Глушкова НАН Україниuk_UA
dc.relation.ispartofКибернетика и системный анализ
dc.statuspublished earlieruk_UA
dc.subjectКібернетикаuk_UA
dc.titleНекоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматовuk_UA
dc.title.alternativeДеякі підмножини монадичної логіки першого порядку (mfo), що використовуються для специфікації і синтезу ∑-автоматівuk_UA
dc.title.alternativeSome subsets of monadic first order logic (mfo) used for specification and synthesis of ∑-automatauk_UA
dc.typeArticleuk_UA

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
03-Chebotarev.pdf
Розмір:
161.76 KB
Формат:
Adobe Portable Document Format
Завантажити

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
817 B
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекція

Кибернетика и системный анализ, 2017, № 4