Találati lista | Tudóstér

001-es BibID:	BIBFORM090722
035-os BibID:	(Scopus)85107846231
Első szerző:	Bagossy Attila (informatikus)
Cím:	Simulating reversible computation with reaction systems / Attila Bagossy, György Vaszil
Dátum:	2020
ISSN:	2523-8906 2523-8914
Megjegyzések:	Reaction systems are a formal model of computation providing a framework for investigating biochemical reactions inside living cells. We look at the functioning of these systems as a process producing a series of different possible sets of entities representing states which can be changed by the application of reactions, and we study reversibility and its simulation in this framework. Our goal is to establish an Undo-Redo-Do-like semantics of reversibility with environmental control over the direction of the computation following a so-called no-memory approach, that is, without introducing modifications to the model of reaction systems itself. We first establish requirements the systems must satisfy in order to produce processes consisting of states with unique predecessors, then define reversible reaction systems in terms of reversible interactive processes. For such reversible systems, we also construct simulator systems that can traverse between the states of reversible interactive processes back and forth based on the input of a special "rollback" symbol from the environment.
Tárgyszavak:	Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban folyóiratcikk reaction systems reversible computation reversible reaction systems
Megjelenés:	Journal of Membrane Computing. - 2 : 3 (2020), p. 179-193. -
További szerzők:	Vaszil György (1968-) (matematikus)
Pályázati támogatás:	NKFIH K 120558 Egyéb EFOP-3.6.3-VEKOP-16-2017-00002 EFOP
Internet cím:	Szerző által megadott URL DOI Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Saját polcon: