Синтез автомата, специфицированного множеством дизъюнктов
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Синтез автомата, специфицированного множеством дизъюнктов
|
|
| Creator |
Чеботарев, А.Н.
|
|
| Subject |
Формальные методы в программировании
|
|
| 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. |
|
| Date |
2008-07-24T16:30:47Z
2008-07-24T16:30:47Z 2003 |
|
| Type |
Article
|
|
| Identifier |
Синтез автомата, специфицированного множеством дизъюнктов / А.Н. Чеботарев // Проблеми програмування. — 2003. — N 2. — С. 58—64. — Бібліогр.: 6 назв. — рос.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/1294 519.713.1 |
|
| Language |
ru
|
|
| Publisher |
Інститут програмних систем НАН України
|
|