J 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í

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

Štítky

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).