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

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
Голосіївський просп., 3, к. 209
м. Київ, 03039, Україна