Согласование спецификаций автоматов, представленных в языке L
Рассмотрены два метода согласования спецификаций взаимодействующих автоматов. Спецификации представлены множествами дизъюнктов в языке L. Оба метода основаны на методе согласования автоматов, использующем их параллельную композицию. Приведены два способа определения семантики языка L, принятые в опи...
Збережено в:
| Опубліковано в: : | Кибернетика и системный анализ |
|---|---|
| Дата: | 2016 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2016
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/133677 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Согласование спецификаций автоматов, представленных в языке L / А.Н. Чеботарев // Кибернетика и системный анализ. — 2016. — Т. 52, № 3. — С. 3-15. — Бібліогр.: 6 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-133677 |
|---|---|
| record_format |
dspace |
| spelling |
Чеботарев, А.Н. 2018-06-05T05:35:04Z 2018-06-05T05:35:04Z 2016 Согласование спецификаций автоматов, представленных в языке L / А.Н. Чеботарев // Кибернетика и системный анализ. — 2016. — Т. 52, № 3. — С. 3-15. — Бібліогр.: 6 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/133677 519.713.1 Рассмотрены два метода согласования спецификаций взаимодействующих автоматов. Спецификации представлены множествами дизъюнктов в языке L. Оба метода основаны на методе согласования автоматов, использующем их параллельную композицию. Приведены два способа определения семантики языка L, принятые в описанных методах согласования спецификаций. Розглянуто два методи узгодження специфікацій автоматів, що взаємодіють. Специфікації подані у вигляді множин диз’юнктів у мові L. Обидва методи базуються на методі узгодження автоматів, який використовує їхню паралельну композицію. Наведено два способи визначення семантики мови L, прийняті у розглянутих методах узгодження специфікацій. The author considers two methods for harmonization of automata specifications represented as sets of clauses in the language L. Both methods are based on the automata harmonization technique, which uses their parallel composition. Two ways to determine language L semantics that are used in the harmonization methods are described. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Кибернетика Согласование спецификаций автоматов, представленных в языке L Узгодження специфікацій автоматів, що подані мовою L Harmonization of automata specifications represented 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 |
2016 |
| language |
Russian |
| container_title |
Кибернетика и системный анализ |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| format |
Article |
| title_alt |
Узгодження специфікацій автоматів, що подані мовою L Harmonization of automata specifications represented in the language L |
| description |
Рассмотрены два метода согласования спецификаций взаимодействующих автоматов. Спецификации представлены множествами дизъюнктов в языке L. Оба метода основаны на методе согласования автоматов, использующем их параллельную композицию. Приведены два способа определения семантики языка L, принятые в описанных методах согласования спецификаций.
Розглянуто два методи узгодження специфікацій автоматів, що взаємодіють. Специфікації подані у вигляді множин диз’юнктів у мові L. Обидва методи базуються на методі узгодження автоматів, який використовує їхню паралельну композицію. Наведено два способи визначення семантики мови L, прийняті у розглянутих методах узгодження специфікацій.
The author considers two methods for harmonization of automata specifications represented as sets of clauses in the language L. Both methods are based on the automata harmonization technique, which uses their parallel composition. Two ways to determine language L semantics that are used in the harmonization methods are described.
|
| issn |
0023-1274 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/133677 |
| citation_txt |
Согласование спецификаций автоматов, представленных в языке L / А.Н. Чеботарев // Кибернетика и системный анализ. — 2016. — Т. 52, № 3. — С. 3-15. — Бібліогр.: 6 назв. — рос. |
| work_keys_str_mv |
AT čebotarevan soglasovaniespecifikaciiavtomatovpredstavlennyhvâzykel AT čebotarevan uzgodžennâspecifíkacíiavtomatívŝopodanímovoûl AT čebotarevan harmonizationofautomataspecificationsrepresentedinthelanguagel |
| first_indexed |
2025-12-01T10:07:43Z |
| last_indexed |
2025-12-01T10:07:43Z |
| _version_ |
1850859880120844288 |