Согласование спецификаций автоматов, представленных в языке L / Чеботарев А. Н. (2016)
Ukrainian

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0000502499
  Кибернетика и системный анализ      А - 2019  /     Випуск (2016, Т. 52, № 3)

Чеботарев А. Н.
Согласование спецификаций автоматов, представленных в языке L

Рассмотрены два метода согласования спецификаций взаимодействующих автоматов. Спецификации представлены множествами дизъюнктов в языке L. Оба метода основаны на методе согласования автоматов, использующем их параллельную композицию. Приведены два способа определения семантики языка L, принятые в описанных методах согласования спецификаций.

 https://doi.org/10.1007/s10559-016-9834-1
 Scopus

Бібліографічний опис:
Чеботарев А. Н.  Согласование спецификаций автоматов, представленных в языке L. Кибернетика и системный анализ. 2016. Т. 52, № 3. С. 3-15. doi: https://doi.org/10.1007/s10559-016-9834-1 URL: http://jnas.nbuv.gov.ua/article/UJRN-0000502499

English  Cybernetics and Systems Analysis   /     Issue (2016, 52 (3))

Chebotarev A.N.
Harmonization of automata specifications represented in the language L

Two methods are presented for the harmonization of automata specifications represented in the form of sets of clauses in the language L. Both methods are based on a technique of harmonization of automata that uses their parallel composition. Two ways of defining the semantics of the language L are described that are used in the harmonization methods. © 2016, Springer Science+Business Media New York.

Keywords: automaton specification, composition correctness, composition of specifications, harmonization of specifications, language L, Automata theory, Computational linguistics, Semantics, language L, Parallel composition, Two ways, Specifications

Cite:
Chebotarev A.N. (2016). Harmonization of automata specifications represented in the language L. Cybernetics and Systems Analysis, 52 (3), 3-15. doi: https://doi.org/10.1007/s10559-016-9834-1 http://jnas.nbuv.gov.ua/article/UJRN-0000502499 [In Russian].

 

Інститут інформаційних технологій НБУВ

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Голосіївський просп., 3, к. 209
м. Київ, 03039, Україна