Some subsets of monadic first order logic (MFO) used for specification and synthesis of Σ-automata / Chebotarev. (2017)
Ukrainian

web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000719118
  Cybernetics and Systems Analysis      А - 2019  /     Issue (2017, Т. 53, № 4)

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

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

 https://doi.org/10.1007/s10559-017-9953-3
 Scopus

Бібліографічний опис:
Чеботарев А. Н.  Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза Σ-автоматов. Кибернетика и системный анализ. 2017. Т. 53, № 4. С. 22-36. doi: https://doi.org/10.1007/s10559-017-9953-3 URL: http://jnas.nbuv.gov.ua/article/UJRN-0000719118

English  Cybernetics and Systems Analysis   /     Issue (2017, 53 (4))

Chebotarev A.N.
Some subsets of monadic first order logic (MFO) used for specification and synthesis of Σ-automata

Two fragments, LP and LF, of first-order logic with bounded quantifiers are considered. These fragments are used for the specification of transducers. The fragment LP allows the characterization of the current behavior of a system on the basis of its past behavior, and LF allows doing this on the basis of its future behavior. Two kinds of semantics are defined for these logics, and properties of automata specified in these logics are investigated. © 2017, Springer Science+Business Media, LLC.

Keywords: automatic semantics, first-order logic, future formula, past formula, symmetric formula, Automata theory, Computer circuits, Semantics, Specifications, Current behaviors, First order logic, future formula, past formula, symmetric formula, Formal logic

Cite:
Chebotarev A.N. (2017). Some subsets of monadic first order logic (MFO) used for specification and synthesis of Σ-automata. Cybernetics and Systems Analysis, 53 (4), 22-36. doi: https://doi.org/10.1007/s10559-017-9953-3 http://jnas.nbuv.gov.ua/article/UJRN-0000719118 [In Russian].

 

Institute of Information Technologies of VNLU

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Ukraine, 03039, Kyiv, Holosiivskyi Ave, 3, room 209