Синтез автомата, специфицированного множеством дизъюнктов
Предложен подход к синтезу автомата, специфицированного логической формулой в конъюнктивной нормальной форме (к.н.ф.). Хотя при этом используется метод синтеза автомата по формуле, представленной в дизъюнктивной нормальной форме (д.н.ф.), при синтезе не требуется преобразование к.н.ф. в д.н.ф. Благо...
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| Zusammenfassung: | Предложен подход к синтезу автомата, специфицированного логической формулой в конъюнктивной нормальной форме (к.н.ф.). Хотя при этом используется метод синтеза автомата по формуле, представленной в дизъюнктивной нормальной форме (д.н.ф.), при синтезе не требуется преобразование к.н.ф. в д.н.ф. Благодаря этому предложенный метод имеет ту же эффективность, что и метод, на котором он
основан.
Запропоновано підхід до синтезу автомата, який специфіковано логічною формулою у кон’юнктивній нормальній формі (к.н.ф.). Хоча при цьому використовується метод синтезу автомата за специфікацією, яку подано у диз’юнктивній нормальній формі (д.н.ф.), синтез виконується без перетворення к.н.ф. у д.н.ф. Завдяки цьому запропонований метод має ту ж саму ефективність, що й метод, на якому він базується.
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 |