Presentation
Turing Incompleteness of Asynchronous P Systems with Active Membranes
Author/s | Leporati, Alberto
Manzoni, Luca Porreca, Antonio E. |
Date | 2013 |
Published in |
|
ISBN/ISSN | 978-84-940691-9-2 |
Abstract | We prove that asynchronous P systems with active membranes without divi-
sion rules can be simulated by place/transition Petri nets, and hence are computationally
weaker than Turing machines. This result holds even if ... We prove that asynchronous P systems with active membranes without divi- sion rules can be simulated by place/transition Petri nets, and hence are computationally weaker than Turing machines. This result holds even if the synchronisation mechanisms provided by electrical charges and membrane dissolution are exploited. |
Files | Size | Format | View | Description |
---|---|---|---|---|
165_leporati_manzoni.pdf | 157.8Kb | ![]() | View/ | |