Синтез ∑-автоматов, специфицированных в логических языках LP и LF первого порядка
Приведены методы синтеза ∑-автоматов по спецификации в языке LP с детерминированной семантикой и в языке LF с недетерминированной семантикой. В основе этих методов лежит эквивалентное преобразование формулы вида ∀tF(t) в так называемую нормальную форму, структура которой соответствует графу переходо...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2018 |
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2018
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/161366 |
| 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: | Синтез ∑-автоматов, специфицированных в логических языках LP и LF первого порядка / А.Н. Чеботарев // Кибернетика и системный анализ. — 2018. — Т. 54, № 4. — С. 16–31. — Бібліогр.: 6 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862711884165152768 |
|---|---|
| author | Чеботарев, А.Н. |
| author_facet | Чеботарев, А.Н. |
| citation_txt | Синтез ∑-автоматов, специфицированных в логических языках LP и LF первого порядка / А.Н. Чеботарев // Кибернетика и системный анализ. — 2018. — Т. 54, № 4. — С. 16–31. — Бібліогр.: 6 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| 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.
|
| first_indexed | 2025-12-07T17:33:26Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-161366 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1019-5262 |
| language | Russian |
| last_indexed | 2025-12-07T17:33:26Z |
| publishDate | 2018 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| 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 |
| spellingShingle | Синтез ∑-автоматов, специфицированных в логических языках LP и LF первого порядка Чеботарев, А.Н. Кібернетика |
| title | Синтез ∑-автоматов, специфицированных в логических языках LP и LF первого порядка |
| title_alt | Синтез ∑-автоматів, що специфіковані у логічних мовах LP і LF першого порядку Synthesis of ∑-automata specified in the first order logical languages LP and LF |
| title_full | Синтез ∑-автоматов, специфицированных в логических языках LP и LF первого порядка |
| title_fullStr | Синтез ∑-автоматов, специфицированных в логических языках LP и LF первого порядка |
| title_full_unstemmed | Синтез ∑-автоматов, специфицированных в логических языках LP и LF первого порядка |
| title_short | Синтез ∑-автоматов, специфицированных в логических языках LP и LF первого порядка |
| title_sort | синтез ∑-автоматов, специфицированных в логических языках lp и lf первого порядка |
| topic | Кібернетика |
| topic_facet | Кібернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/161366 |
| work_keys_str_mv | AT čebotarevan sintezavtomatovspecificirovannyhvlogičeskihâzykahlpilfpervogoporâdka AT čebotarevan sintezavtomatívŝospecifíkovaníulogíčnihmovahlpílfperšogoporâdku AT čebotarevan synthesisofautomataspecifiedinthefirstorderlogicallanguageslpandlf |