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

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

Рассмотрены два фрагмента, LP и LF, логики первого порядка с ограниченными кванторами, используемые для спецификации трансдьюсеров. Логика LP позволяет характеризовать текущее поведение системы на основе ее поведения в прошлом, а LF — на основе поведения в будущем. Определены два вида семантик для э...

Full description

Saved in:
Bibliographic Details
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
id nasplib_isofts_kiev_ua-123456789-144770
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
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов
spellingShingle Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов
Чеботарев, А.Н.
Кібернетика
title_short Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов
title_full Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов
title_fullStr Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов
title_full_unstemmed Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов
title_sort некоторые подмножества монадической логики первого порядка (mfo), используемые для спецификации и синтеза ∑-автоматов
author Чеботарев, А.Н.
author_facet Чеботарев, А.Н.
topic Кібернетика
topic_facet Кібернетика
publishDate 2017
language Russian
container_title Кибернетика и системный анализ
publisher Інститут кібернетики ім. В.М. Глушкова НАН України
format Article
title_alt Деякі підмножини монадичної логіки першого порядку (mfo), що використовуються для специфікації і синтезу ∑-автоматів
Some subsets of monadic first order logic (mfo) used for specification and synthesis of ∑-automata
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.
issn 0023-1274
url https://nasplib.isofts.kiev.ua/handle/123456789/144770
citation_txt Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов / А.Н. Чеботарев // Кибернетика и системный анализ. — 2017. — Т. 53, № 4. — С. 22–36. — Бібліогр.: 14 назв. — рос.
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
first_indexed 2025-11-28T09:42:37Z
last_indexed 2025-11-28T09:42:37Z
_version_ 1850853572077420544

Similar Items