Усовершенствованный метод синтеза автомата по его спецификации в языке L
Запропоновано модифікацію алгоритму синтезу автомата за його логічною специфікацією. В основі цього алгоритму лежить процедура розщеплення компонентів диз’юнктивної форми. Удосконалення методу спрямовані на зменшення кількості найбільш складних процедур, що використовуються в процесі синтезу, та на...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2011 |
| Main Authors: | , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2011
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/84197 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Усовершенствованный метод синтеза автомата по его спецификации в языке L / В.Г. Тимофеев, А.Н. Чеботарев // Кибернетика и системный анализ. — 2011. — Т. 47, № 3. — С. 3-14. — Бібліогр.: 4 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-84197 |
|---|---|
| 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 |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Усовершенствованный метод синтеза автомата по его спецификации в языке L |
| spellingShingle |
Усовершенствованный метод синтеза автомата по его спецификации в языке L Тимофеев, В.Г. Чеботарев, А.Н. Кибернетика |
| title_short |
Усовершенствованный метод синтеза автомата по его спецификации в языке L |
| title_full |
Усовершенствованный метод синтеза автомата по его спецификации в языке L |
| title_fullStr |
Усовершенствованный метод синтеза автомата по его спецификации в языке L |
| title_full_unstemmed |
Усовершенствованный метод синтеза автомата по его спецификации в языке L |
| title_sort |
усовершенствованный метод синтеза автомата по его спецификации в языке l |
| author |
Тимофеев, В.Г. Чеботарев, А.Н. |
| author_facet |
Тимофеев, В.Г. Чеботарев, А.Н. |
| topic |
Кибернетика |
| topic_facet |
Кибернетика |
| publishDate |
2011 |
| language |
Russian |
| container_title |
Кибернетика и системный анализ |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| format |
Article |
| title_alt |
Удосконалений метод синтезу автомата за його специфікацією у мові L Improved method for automaton synthesis from its specification in the language L |
| 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.
|
| issn |
0023-1274 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/84197 |
| citation_txt |
Усовершенствованный метод синтеза автомата по его спецификации в языке L / В.Г. Тимофеев, А.Н. Чеботарев // Кибернетика и системный анализ. — 2011. — Т. 47, № 3. — С. 3-14. — Бібліогр.: 4 назв. — рос. |
| 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 |
| first_indexed |
2025-12-01T03:59:08Z |
| last_indexed |
2025-12-01T03:59:08Z |
| _version_ |
1850859206098288640 |