2024
Language Classes of Extended Distributed Reaction Systems
CIENCIALOVÁ, Lucie, Luděk CIENCIALA a Erzsébet CSUHAJ-VARJÚZákladní údaje
Originální název
Language Classes of Extended Distributed Reaction Systems
Autoři
CIENCIALOVÁ, Lucie (203 Česká republika, garant, domácí), Luděk CIENCIALA (203 Česká republika, domácí) a Erzsébet CSUHAJ-VARJÚ (348 Maďarsko)
Vydání
International Journal of Foundations of Computer Science, Singapore, World Scientific Publishing, 2024, 0129-0541
Další údaje
Jazyk
angličtina
Typ výsledku
Článek v odborném periodiku
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Singapur
Utajení
není předmětem státního či obchodního tajemství
Odkazy
Organizační jednotka
Filozoficko-přírodovědecká fakulta v Opavě
UT WoS
001022848000001
Klíčová slova anglicky
Reaction systems; Distributed reaction systems; Right-linear simple matrix language; Recursively enumerable language; Model checking
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 18. 10. 2024 15:33, Mgr. Kamil Matula, Ph.D.
Anotace
V originále
Reaction systems are well-known formal models of interactions between biochemical reactions. A reaction system is a finite set of triples (reactants, inhibitors, products) that represent chemical reactions, where the reactants, the inhibitors, and the products are objects corresponding to the chemicals. The reactions may facilitate or inhibit each other. A distributed reaction system consists of a finite set of reaction systems that interact with their environment (function in a given context). The environment is a finite set of reactants provided by a context automaton. In the preceding paper, we studied distributed reaction systems where in each step, the context automaton provided a separate set of reactants to the component reaction systems. We assigned languages to these distributed reaction systems and provided representations of some well-known language classes by these constructs. In this paper, the context is provided for the whole distributed reaction system and the component reaction systems distribute the context among each other in different ways (the same context is valid for each component, or the context is split among the components). As in the preceding paper, we assign languages to these new types of distributed reaction systems and provide representations of well-known language classes (the class of right-linear simple matrix languages, the recursively enumerable language class).