Синтез автомата, специфицированного множеством дизъюнктов
Предложен подход к синтезу автомата, специфицированного логической формулой в конъюнктивной нормальной форме (к.н.ф.). Хотя при этом используется метод синтеза автомата по формуле, представленной в дизъюнктивной нормальной форме (д.н.ф.), при синтезе не требуется преобразование к.н.ф. в д.н.ф. Благо...
Gespeichert in:
| Datum: | 2003 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russian |
| Veröffentlicht: |
Інститут програмних систем НАН України
2003
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/1294 |
| 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: | Синтез автомата, специфицированного множеством дизъюнктов / А.Н. Чеботарев // Проблеми програмування. — 2003. — N 2. — С. 58—64. — Бібліогр.: 6 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-1294 |
|---|---|
| record_format |
dspace |
| spelling |
Чеботарев, А.Н. 2008-07-24T16:30:47Z 2008-07-24T16:30:47Z 2003 Синтез автомата, специфицированного множеством дизъюнктов / А.Н. Чеботарев // Проблеми програмування. — 2003. — N 2. — С. 58—64. — Бібліогр.: 6 назв. — рос. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/1294 519.713.1 Предложен подход к синтезу автомата, специфицированного логической формулой в конъюнктивной нормальной форме (к.н.ф.). Хотя при этом используется метод синтеза автомата по формуле, представленной в дизъюнктивной нормальной форме (д.н.ф.), при синтезе не требуется преобразование к.н.ф. в д.н.ф. Благодаря этому предложенный метод имеет ту же эффективность, что и метод, на котором он основан. Запропоновано підхід до синтезу автомата, який специфіковано логічною формулою у кон’юнктивній нормальній формі (к.н.ф.). Хоча при цьому використовується метод синтезу автомата за специфікацією, яку подано у диз’юнктивній нормальній формі (д.н.ф.), синтез виконується без перетворення к.н.ф. у д.н.ф. Завдяки цьому запропонований метод має ту ж саму ефективність, що й метод, на якому він базується. An approach to synthesis of an automaton specified by the logical formula in the conjunctive normal form (c.n.f.) is proposed. Although this approach exploits the method for synthesis of an automaton from the specification represented in the disjunctive normal form (d.n.f.), the synthesis is carried out without transforming c.n.f. into d.n.f. Owing to this fact the proposed method has the same efficiency as the method at which it is based. ru Інститут програмних систем НАН України Формальные методы в программировании Синтез автомата, специфицированного множеством дизъюнктов Синтез автомата, специфікованого множиною диз’юнктів Synthesis of an automaton specified by the set of clauses Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Синтез автомата, специфицированного множеством дизъюнктов |
| spellingShingle |
Синтез автомата, специфицированного множеством дизъюнктов Чеботарев, А.Н. Формальные методы в программировании |
| title_short |
Синтез автомата, специфицированного множеством дизъюнктов |
| title_full |
Синтез автомата, специфицированного множеством дизъюнктов |
| title_fullStr |
Синтез автомата, специфицированного множеством дизъюнктов |
| title_full_unstemmed |
Синтез автомата, специфицированного множеством дизъюнктов |
| title_sort |
синтез автомата, специфицированного множеством дизъюнктов |
| author |
Чеботарев, А.Н. |
| author_facet |
Чеботарев, А.Н. |
| topic |
Формальные методы в программировании |
| topic_facet |
Формальные методы в программировании |
| publishDate |
2003 |
| language |
Russian |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
Синтез автомата, специфікованого множиною диз’юнктів Synthesis of an automaton specified by the set of clauses |
| description |
Предложен подход к синтезу автомата, специфицированного логической формулой в конъюнктивной нормальной форме (к.н.ф.). Хотя при этом используется метод синтеза автомата по формуле, представленной в дизъюнктивной нормальной форме (д.н.ф.), при синтезе не требуется преобразование к.н.ф. в д.н.ф. Благодаря этому предложенный метод имеет ту же эффективность, что и метод, на котором он
основан.
Запропоновано підхід до синтезу автомата, який специфіковано логічною формулою у кон’юнктивній нормальній формі (к.н.ф.). Хоча при цьому використовується метод синтезу автомата за специфікацією, яку подано у диз’юнктивній нормальній формі (д.н.ф.), синтез виконується без перетворення к.н.ф. у д.н.ф. Завдяки цьому запропонований метод має ту ж саму ефективність, що й метод, на якому він базується.
An approach to synthesis of an automaton specified by the logical formula in the
conjunctive normal form (c.n.f.) is proposed. Although this approach exploits
the method for synthesis of an automaton from the specification represented in the disjunctive normal form (d.n.f.), the synthesis is carried out without transforming c.n.f. into d.n.f. Owing to this fact the proposed method has the same efficiency as the method at which it is based.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/1294 |
| citation_txt |
Синтез автомата, специфицированного множеством дизъюнктов / А.Н. Чеботарев // Проблеми програмування. — 2003. — N 2. — С. 58—64. — Бібліогр.: 6 назв. — рос. |
| work_keys_str_mv |
AT čebotarevan sintezavtomataspecificirovannogomnožestvomdizʺûnktov AT čebotarevan sintezavtomataspecifíkovanogomnožinoûdizûnktív AT čebotarevan synthesisofanautomatonspecifiedbythesetofclauses |
| first_indexed |
2025-12-07T17:41:01Z |
| last_indexed |
2025-12-07T17:41:01Z |
| _version_ |
1850872180724727808 |