Усовершенствованный метод синтеза автомата по его спецификации в языке L
Запропоновано модифікацію алгоритму синтезу автомата за його логічною специфікацією. В основі цього алгоритму лежить процедура розщеплення компонентів диз’юнктивної форми. Удосконалення методу спрямовані на зменшення кількості найбільш складних процедур, що використовуються в процесі синтезу, та на...
Gespeichert in:
| Veröffentlicht in: | Кибернетика и системный анализ |
|---|---|
| Datum: | 2011 |
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2011
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/84197 |
| 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: | Усовершенствованный метод синтеза автомата по его спецификации в языке L / В.Г. Тимофеев, А.Н. Чеботарев // Кибернетика и системный анализ. — 2011. — Т. 47, № 3. — С. 3-14. — Бібліогр.: 4 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862640977761533952 |
|---|---|
| author | Тимофеев, В.Г. Чеботарев, А.Н. |
| author_facet | Тимофеев, В.Г. Чеботарев, А.Н. |
| citation_txt | Усовершенствованный метод синтеза автомата по его спецификации в языке L / В.Г. Тимофеев, А.Н. Чеботарев // Кибернетика и системный анализ. — 2011. — Т. 47, № 3. — С. 3-14. — Бібліогр.: 4 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| description | Запропоновано модифікацію алгоритму синтезу автомата за його логічною специфікацією. В основі цього алгоритму лежить процедура розщеплення компонентів диз’юнктивної форми. Удосконалення методу спрямовані на зменшення кількості найбільш складних процедур, що використовуються в процесі синтезу, та на спрощення формул, до яких ці процедури застосовуються. Крім того, модифікації алгоритму пов’язані зі збільшенням його природного паралелізму.
A modification of an algorithm for automaton synthesis from a logical specification is proposed. This algorithm is based on the procedure of splitting components of disjunctive form. Improvements are aimed at decreasing the number of most complex procedures used in the synthesis and reducing the complexity of formulas processed by the procedures. Moreover, the modification enhances the natural parallelism of the algorithm.
|
| first_indexed | 2025-12-01T03:59:08Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-84197 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0023-1274 |
| language | Russian |
| last_indexed | 2025-12-01T03:59:08Z |
| publishDate | 2011 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Тимофеев, В.Г. Чеботарев, А.Н. 2015-07-03T16:15:34Z 2015-07-03T16:15:34Z 2011 Усовершенствованный метод синтеза автомата по его спецификации в языке L / В.Г. Тимофеев, А.Н. Чеботарев // Кибернетика и системный анализ. — 2011. — Т. 47, № 3. — С. 3-14. — Бібліогр.: 4 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/84197 519.713.1 Запропоновано модифікацію алгоритму синтезу автомата за його логічною специфікацією. В основі цього алгоритму лежить процедура розщеплення компонентів диз’юнктивної форми. Удосконалення методу спрямовані на зменшення кількості найбільш складних процедур, що використовуються в процесі синтезу, та на спрощення формул, до яких ці процедури застосовуються. Крім того, модифікації алгоритму пов’язані зі збільшенням його природного паралелізму. A modification of an algorithm for automaton synthesis from a logical specification is proposed. This algorithm is based on the procedure of splitting components of disjunctive form. Improvements are aimed at decreasing the number of most complex procedures used in the synthesis and reducing the complexity of formulas processed by the procedures. Moreover, the modification enhances the natural parallelism of the algorithm. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Кибернетика Усовершенствованный метод синтеза автомата по его спецификации в языке L Удосконалений метод синтезу автомата за його специфікацією у мові L Improved method for automaton synthesis from its specification in the language L Article published earlier |
| spellingShingle | Усовершенствованный метод синтеза автомата по его спецификации в языке L Тимофеев, В.Г. Чеботарев, А.Н. Кибернетика |
| title | Усовершенствованный метод синтеза автомата по его спецификации в языке L |
| title_alt | Удосконалений метод синтезу автомата за його специфікацією у мові L Improved method for automaton synthesis from its specification in the language L |
| title_full | Усовершенствованный метод синтеза автомата по его спецификации в языке L |
| title_fullStr | Усовершенствованный метод синтеза автомата по его спецификации в языке L |
| title_full_unstemmed | Усовершенствованный метод синтеза автомата по его спецификации в языке L |
| title_short | Усовершенствованный метод синтеза автомата по его спецификации в языке L |
| title_sort | усовершенствованный метод синтеза автомата по его спецификации в языке l |
| topic | Кибернетика |
| topic_facet | Кибернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/84197 |
| work_keys_str_mv | AT timofeevvg usoveršenstvovannyimetodsintezaavtomatapoegospecifikaciivâzykel AT čebotarevan usoveršenstvovannyimetodsintezaavtomatapoegospecifikaciivâzykel AT timofeevvg udoskonaleniimetodsintezuavtomatazaiogospecifíkacíêûumovíl AT čebotarevan udoskonaleniimetodsintezuavtomatazaiogospecifíkacíêûumovíl AT timofeevvg improvedmethodforautomatonsynthesisfromitsspecificationinthelanguagel AT čebotarevan improvedmethodforautomatonsynthesisfromitsspecificationinthelanguagel |