Синтез автомата, специфицированного множеством дизъюнктов
Предложен подход к синтезу автомата, специфицированного логической формулой в конъюнктивной нормальной форме (к.н.ф.). Хотя при этом используется метод синтеза автомата по формуле, представленной в дизъюнктивной нормальной форме (д.н.ф.), при синтезе не требуется преобразование к.н.ф. в д.н.ф. Благо...
Gespeichert in:
| Datum: | 2003 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russisch |
| 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| _version_ | 1862713028957437952 |
|---|---|
| author | Чеботарев, А.Н. |
| author_facet | Чеботарев, А.Н. |
| citation_txt | Синтез автомата, специфицированного множеством дизъюнктов / А.Н. Чеботарев // Проблеми програмування. — 2003. — N 2. — С. 58—64. — Бібліогр.: 6 назв. — рос. |
| collection | DSpace DC |
| 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.
|
| first_indexed | 2025-12-07T17:41:01Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-1294 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Russian |
| last_indexed | 2025-12-07T17:41:01Z |
| publishDate | 2003 |
| publisher | Інститут програмних систем НАН України |
| 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 |
| spellingShingle | Синтез автомата, специфицированного множеством дизъюнктов Чеботарев, А.Н. Формальные методы в программировании |
| title | Синтез автомата, специфицированного множеством дизъюнктов |
| title_alt | Синтез автомата, специфікованого множиною диз’юнктів Synthesis of an automaton specified by the set of clauses |
| title_full | Синтез автомата, специфицированного множеством дизъюнктов |
| title_fullStr | Синтез автомата, специфицированного множеством дизъюнктов |
| title_full_unstemmed | Синтез автомата, специфицированного множеством дизъюнктов |
| title_short | Синтез автомата, специфицированного множеством дизъюнктов |
| title_sort | синтез автомата, специфицированного множеством дизъюнктов |
| topic | Формальные методы в программировании |
| topic_facet | Формальные методы в программировании |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/1294 |
| work_keys_str_mv | AT čebotarevan sintezavtomataspecificirovannogomnožestvomdizʺûnktov AT čebotarevan sintezavtomataspecifíkovanogomnožinoûdizûnktív AT čebotarevan synthesisofanautomatonspecifiedbythesetofclauses |