2025-02-22T17:23:41-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-84197%22&qt=morelikethis&rows=5
2025-02-22T17:23:41-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-84197%22&qt=morelikethis&rows=5
2025-02-22T17:23:41-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-22T17:23:41-05:00 DEBUG: Deserialized SOLR response
Усовершенствованный метод синтеза автомата по его спецификации в языке L
Запропоновано модифікацію алгоритму синтезу автомата за його логічною специфікацією. В основі цього алгоритму лежить процедура розщеплення компонентів диз’юнктивної форми. Удосконалення методу спрямовані на зменшення кількості найбільш складних процедур, що використовуються в процесі синтезу, та на...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2011
|
| Series: | Кибернетика и системный анализ |
| Subjects: | |
| Online Access: | http://dspace.nbuv.gov.ua/handle/123456789/84197 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| 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 |