About reversibility in sP colonies and reaction systems

Kód výsledku v 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>

Výsledek na webu

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

Jazyk výsledku

angličtina

Název v původním jazyce

About reversibility in sP colonies and reaction systems

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

About reversibility in sP colonies and reaction systems

Popis výsledku anglicky

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.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2022

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Natural Computing

ISSN

1567-7818

e-ISSN

1572-9796

Svazek periodika

2022

Číslo periodika v rámci svazku

10 OCT

Stát vydavatele periodika

DE - Spolková republika Německo

Počet stran výsledku

13

Strana od-do

1-13

Kód UT WoS článku

000869643000001

EID výsledku v databázi Scopus

2-s2.0-85140122282