Усовершенствованный метод синтеза автомата по его спецификации в языке L
Запропоновано модифікацію алгоритму синтезу автомата за його логічною специфікацією. В основі цього алгоритму лежить процедура розщеплення компонентів диз’юнктивної форми. Удосконалення методу спрямовані на зменшення кількості найбільш складних процедур, що використовуються в процесі синтезу, та на...
Збережено в:
| Дата: | 2011 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2011
|
| Назва видання: | Кибернетика и системный анализ |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/84197 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Усовершенствованный метод синтеза автомата по его спецификации в языке L / В.Г. Тимофеев, А.Н. Чеботарев // Кибернетика и системный анализ. — 2011. — Т. 47, № 3. — С. 3-14. — Бібліогр.: 4 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-84197 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-841972015-07-04T03:01:55Z Усовершенствованный метод синтеза автомата по его спецификации в языке L Тимофеев, В.Г. Чеботарев, А.Н. Кибернетика Запропоновано модифікацію алгоритму синтезу автомата за його логічною специфікацією. В основі цього алгоритму лежить процедура розщеплення компонентів диз’юнктивної форми. Удосконалення методу спрямовані на зменшення кількості найбільш складних процедур, що використовуються в процесі синтезу, та на спрощення формул, до яких ці процедури застосовуються. Крім того, модифікації алгоритму пов’язані зі збільшенням його природного паралелізму. 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. 2011 Article Усовершенствованный метод синтеза автомата по его спецификации в языке L / В.Г. Тимофеев, А.Н. Чеботарев // Кибернетика и системный анализ. — 2011. — Т. 47, № 3. — С. 3-14. — Бібліогр.: 4 назв. — рос. 0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/84197 519.713.1 ru Кибернетика и системный анализ Інститут кібернетики ім. В.М. Глушкова НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Кибернетика Кибернетика |
| spellingShingle |
Кибернетика Кибернетика Тимофеев, В.Г. Чеботарев, А.Н. Усовершенствованный метод синтеза автомата по его спецификации в языке L Кибернетика и системный анализ |
| description |
Запропоновано модифікацію алгоритму синтезу автомата за його логічною специфікацією. В основі цього алгоритму лежить процедура розщеплення компонентів диз’юнктивної форми. Удосконалення методу спрямовані на зменшення кількості найбільш складних процедур, що використовуються в процесі синтезу, та на спрощення формул, до яких ці процедури застосовуються. Крім того, модифікації алгоритму пов’язані зі збільшенням його природного паралелізму. |
| format |
Article |
| author |
Тимофеев, В.Г. Чеботарев, А.Н. |
| author_facet |
Тимофеев, В.Г. Чеботарев, А.Н. |
| author_sort |
Тимофеев, В.Г. |
| title |
Усовершенствованный метод синтеза автомата по его спецификации в языке L |
| title_short |
Усовершенствованный метод синтеза автомата по его спецификации в языке L |
| title_full |
Усовершенствованный метод синтеза автомата по его спецификации в языке L |
| title_fullStr |
Усовершенствованный метод синтеза автомата по его спецификации в языке L |
| title_full_unstemmed |
Усовершенствованный метод синтеза автомата по его спецификации в языке L |
| title_sort |
усовершенствованный метод синтеза автомата по его спецификации в языке l |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| publishDate |
2011 |
| topic_facet |
Кибернетика |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/84197 |
| citation_txt |
Усовершенствованный метод синтеза автомата по его спецификации в языке L / В.Г. Тимофеев, А.Н. Чеботарев // Кибернетика и системный анализ. — 2011. — Т. 47, № 3. — С. 3-14. — Бібліогр.: 4 назв. — рос. |
| series |
Кибернетика и системный анализ |
| work_keys_str_mv |
AT timofeevvg usoveršenstvovannyjmetodsintezaavtomatapoegospecifikaciivâzykel AT čebotarevan usoveršenstvovannyjmetodsintezaavtomatapoegospecifikaciivâzykel |
| first_indexed |
2023-10-18T19:28:25Z |
| last_indexed |
2023-10-18T19:28:25Z |
| _version_ |
1796147053690093568 |