Синтез ∑-автоматов, специфицированных в логических языках LP и LF первого порядка

Синтез ∑-автоматов, специфицированных в логических языках LP и LF первого порядка

Приведены методы синтеза ∑-автоматов по спецификации в языке LP с детерминированной семантикой и в языке LF с недетерминированной семантикой. В основе этих методов лежит эквивалентное преобразование формулы вида ∀tF(t) в так называемую нормальную форму, структура которой соответствует графу переходо...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Кибернетика и системный анализ
Datum:2018
1. Verfasser: Чеботарев, А.Н.
Format: Artikel
Sprache:Russian
Veröffentlicht: Інститут кібернетики ім. В.М. Глушкова НАН України 2018
Schlagworte:
Кібернетика
Online Zugang:https://nasplib.isofts.kiev.ua/handle/123456789/161366
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:Синтез ∑-автоматов, специфицированных в логических языках LP и LF первого порядка / А.Н. Чеботарев // Кибернетика и системный анализ. — 2018. — Т. 54, № 4. — С. 16–31. — Бібліогр.: 6 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-161366
record_format dspace
spelling Чеботарев, А.Н.
2019-12-07T15:27:17Z
2019-12-07T15:27:17Z
2018
Синтез ∑-автоматов, специфицированных в логических языках LP и LF первого порядка / А.Н. Чеботарев // Кибернетика и системный анализ. — 2018. — Т. 54, № 4. — С. 16–31. — Бібліогр.: 6 назв. — рос.
1019-5262
https://nasplib.isofts.kiev.ua/handle/123456789/161366
519.713.1
Приведены методы синтеза ∑-автоматов по спецификации в языке LP с детерминированной семантикой и в языке LF с недетерминированной семантикой. В основе этих методов лежит эквивалентное преобразование формулы вида ∀tF(t) в так называемую нормальную форму, структура которой соответствует графу переходов специфицированного ∑-автомата.
Наведено методи синтезу ∑-автоматів за специфікаціями у мові LP з детермінованою семантикою і у мові LF з недетермінованою семантикою. В основі цих методів лежить еквівалентне перетворення формули вигляду ∀tF(t) в так звану нормальну форму, структура якої відповідає графу переходів специфікованого ∑-автомата.
This paper presents methods for synthesizing ∑-automata from specifications in the language LP with deterministic semantics and in the language LF with nondeterministic semantics. These methods are based on the equivalent transformation of the formula of the form ∀tF(t) into a so called normal form whose structure corresponds to the state transition graph of a specified automaton.
ru
Інститут кібернетики ім. В.М. Глушкова НАН України
Кибернетика и системный анализ
Кібернетика
Синтез ∑-автоматов, специфицированных в логических языках LP и LF первого порядка
Синтез ∑-автоматів, що специфіковані у логічних мовах LP і LF першого порядку
Synthesis of ∑-automata specified in the first order logical languages LP and LF
Article
published earlier
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Синтез ∑-автоматов, специфицированных в логических языках LP и LF первого порядка
spellingShingle Синтез ∑-автоматов, специфицированных в логических языках LP и LF первого порядка
Чеботарев, А.Н.
Кібернетика
title_short Синтез ∑-автоматов, специфицированных в логических языках LP и LF первого порядка
title_full Синтез ∑-автоматов, специфицированных в логических языках LP и LF первого порядка
title_fullStr Синтез ∑-автоматов, специфицированных в логических языках LP и LF первого порядка
title_full_unstemmed Синтез ∑-автоматов, специфицированных в логических языках LP и LF первого порядка
title_sort синтез ∑-автоматов, специфицированных в логических языках lp и lf первого порядка
author Чеботарев, А.Н.
author_facet Чеботарев, А.Н.
topic Кібернетика
topic_facet Кібернетика
publishDate 2018
language Russian
container_title Кибернетика и системный анализ
publisher Інститут кібернетики ім. В.М. Глушкова НАН України
format Article
title_alt Синтез ∑-автоматів, що специфіковані у логічних мовах LP і LF першого порядку
Synthesis of ∑-automata specified in the first order logical languages LP and LF
description Приведены методы синтеза ∑-автоматов по спецификации в языке LP с детерминированной семантикой и в языке LF с недетерминированной семантикой. В основе этих методов лежит эквивалентное преобразование формулы вида ∀tF(t) в так называемую нормальную форму, структура которой соответствует графу переходов специфицированного ∑-автомата. Наведено методи синтезу ∑-автоматів за специфікаціями у мові LP з детермінованою семантикою і у мові LF з недетермінованою семантикою. В основі цих методів лежить еквівалентне перетворення формули вигляду ∀tF(t) в так звану нормальну форму, структура якої відповідає графу переходів специфікованого ∑-автомата. This paper presents methods for synthesizing ∑-automata from specifications in the language LP with deterministic semantics and in the language LF with nondeterministic semantics. These methods are based on the equivalent transformation of the formula of the form ∀tF(t) into a so called normal form whose structure corresponds to the state transition graph of a specified automaton.
issn 1019-5262
url https://nasplib.isofts.kiev.ua/handle/123456789/161366
citation_txt Синтез ∑-автоматов, специфицированных в логических языках LP и LF первого порядка / А.Н. Чеботарев // Кибернетика и системный анализ. — 2018. — Т. 54, № 4. — С. 16–31. — Бібліогр.: 6 назв. — рос.
work_keys_str_mv AT čebotarevan sintezavtomatovspecificirovannyhvlogičeskihâzykahlpilfpervogoporâdka
AT čebotarevan sintezavtomatívŝospecifíkovaníulogíčnihmovahlpílfperšogoporâdku
AT čebotarevan synthesisofautomataspecifiedinthefirstorderlogicallanguageslpandlf
first_indexed 2025-12-07T17:33:26Z
last_indexed 2025-12-07T17:33:26Z
_version_ 1850871703231528960

Ähnliche Einträge