CCL

Összesen 5 találat.
#/oldal:
Részletezés:
Rendezés:

1.

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

2.

001-es BibID:BIBFORM136849
035-os BibID:(WOS)001726669700001
Első szerző:Battyányi Péter (informatikus, matematikus)
Cím:On rule synchronization in membrane computing / Battyányi, Péter
Dátum:2026
ISSN:2523-8906 2523-8914
Megjegyzések:In this paper, we consider membrane system-like computational models equipped with a synchronization mechanism for rules. The synchronization mechanism means that, in addition to the usual set of rules, a set of finite tuples of membrane rules is specified. These tuples indicate which rule executions are linked, according to the constraints imposed by the various execution modes. We examine these models considering different rule semantics, or execution modes. We consider four types of execution modes, distinguishing between weak and strong modes, each defined with or without object reuse. The weak execution modes are likely less powerful than general Turing machines, and we demonstrate this for one specific case, while the other case remains a conjecture. Furthermore, we prove that in the strong execution mode, when additional conditions are imposed on synchronized rules compared to the weak execution modes, these models achieve computational completeness even without maximal parallelism. Finally, we demonstrate why these systems, when restricted to non-cooperative rules, cannot achieve computational completeness, even in the strong modes.
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
membránszámítás
szinkronizált szabályok
Turing-teljesség
Megjelenés:Journal of Membrane Computing. - [Epub ahead of print] (2026) p. 1-18. -
Pályázati támogatás:University of Debrecen Scientific Research Bridging Fund (DETKA)
Egyéb
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

3.

001-es BibID:BIBFORM090716
035-os BibID:(Scopus)85107889952
Első szerző:Battyányi Péter (informatikus, matematikus)
Cím:Description of membrane systems with time Petri nets : promoters/inhibitors, membrane dissolution, and priorities / Péter Battyányi, György Vaszil
Dátum:2020
ISSN:2523-8906 2523-8914
Megjegyzések:We continue the investigations of the connection between membrane systems and time Petri nets by extending the examined class of systems from simple symbol-object membrane systems to more complex cases: rules with promoters/inhibitors, membrane dissolution, and priority relation on the rules. By constructing the simulating time Petri net, we retain one of the main characteristics of the Petri net model; namely, the firings of the transitions can take place in any order, and there is no need to introduce maximal parallelism in the Petri net semantics. Instead, we substantially exploit the gain in computational strength obtained by the introduction of the timing feature for Petri nets.
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
membrane systems
Petri nets
time Petri nets
Megjelenés:Journal of Membrane Computing. - 2 : 4 (2020), p. 341-354. -
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ó:

4.

001-es BibID:BIBFORM133058
035-os BibID:(Scopus)105001695658 (WoS)001459024500001
Első szerző:Kuczik Anna (elméleti számítástudomány, informatikus)
Cím:Non-cooperative polymorphic P?systems and parallel communicating ET0L systems / Anna Kuczik, György Vaszil
Dátum:2025
ISSN:2523-8906
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
Megjelenés:Journal of Membrane Computing. - 7 : 3 (2025), p. 312-325. -
További szerzők:Vaszil György (1968-) (matematikus)
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

5.

001-es BibID:BIBFORM122274
035-os BibID:(Scopus)85192531118 (WOS)001216052300001
Első szerző:Kuczik Anna (elméleti számítástudomány, informatikus)
Cím:Simple variants of non-cooperative polymorphic P systems / Anna Kuczik, György Vaszil
Dátum:2024
ISSN:2523-8906 2523-8914
Megjegyzések:We investigate the computational power of non-cooperative polymorphic P systems with no additional ingredients. The variants we study are even more simple in the sense that the sets of possible right-hand sides of the dynamically changing rules are finite. We show that systems with this type of restriction characterize exactly the class of Parikh sets of ET0L languages.
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
P systems with dynamic rules
Polymorphic P systems
P systems with non-cooperative rules
P systems with limited depth
Parikh sets of ET0L languages
Megjelenés:Journal of Membrane Computing. - 6 (2024), p. 179-192. -
További szerzők:Vaszil György (1968-) (matematikus)
Pályázati támogatás:DETKA 2023
Egyéb
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Rekordok letöltése1 
Corvina könyvtári katalógus v10.11.18-SNAPSHOT © 2024 Monguz kft. Minden jog fenntartva.