About reversibility in sP colonies and reaction systems
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F47813059%3A19240%2F22%3AA0001020" target="_blank" >RIV/47813059:19240/22:A0001020 - isvavai.cz</a>
Result on the web
<a href="https://link.springer.com/article/10.1007/s11047-022-09922-1?utm_source=getftr&utm_medium=getftr&utm_campaign=getftr_pilot" target="_blank" >https://link.springer.com/article/10.1007/s11047-022-09922-1?utm_source=getftr&utm_medium=getftr&utm_campaign=getftr_pilot</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s11047-022-09922-1" target="_blank" >10.1007/s11047-022-09922-1</a>
Alternative languages
Result language
angličtina
Original language name
About reversibility in sP colonies and reaction systems
Original language description
In this paper, we study reversibility in sP colonies and in reaction systems. sP colony is a bio-inspired computational model formed from an environment and a finite set of agents. The current state of the environment is represented by a finite set of objects and the current state of the agent is given by a finite multiset of objects. By execution of a program from a set of programs associated with the agent, the agent can change the objects in its own state and possibly in the environment, too. Reaction systems are a bio-inspired computational model where reactants are transformed into products only if some inhibitors are not present. We define sP colonies without input influence and prove that to any reversible sP colony of such type an inverse sP colony can be constructed that performs inverse computation. In the second part of the paper, we show that the concept of a reversible reaction system and the notion of an inverse reaction system can be defined in a similar way, and partially reversible reaction systems can simulate reversible logic gates and reversible Turing machines.
Czech name
—
Czech description
—
Classification
Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2022
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Natural Computing
ISSN
1567-7818
e-ISSN
1572-9796
Volume of the periodical
2022
Issue of the periodical within the volume
10 OCT
Country of publishing house
DE - GERMANY
Number of pages
13
Pages from-to
1-13
UT code for WoS article
000869643000001
EID of the result in the Scopus database
2-s2.0-85140122282