We introduce in the P systems area a mechanism, inspired from neural-cell behavior, which controls computations by inhibiting and de-inhibiting evolution rules. We investigate the computational power of this mechanism in both generative and accepting P systems. In particular, we prove that universality can be obtained by using one catalyst. If we use only non-cooperative rules and one membrane, then we can obtain at least the family of Parikh images of the languages generated by ET0L systems. Several research proposals are also suggested. © Springer-Verlag Berlin Heidelberg 2005.
Inhibiting/de-inhibiting rules in P systems / Cavaliere, M.; Ionescu, M.; Ishdorj, T. -O.. - 3365:(2005), pp. 224-238. (Intervento presentato al convegno 5th International Workshop on Membrane Computing, WMC 2004 tenutosi a Milan, ita nel 2004) [10.1007/978-3-540-31837-8_13].
Inhibiting/de-inhibiting rules in P systems
Cavaliere M.;
2005
Abstract
We introduce in the P systems area a mechanism, inspired from neural-cell behavior, which controls computations by inhibiting and de-inhibiting evolution rules. We investigate the computational power of this mechanism in both generative and accepting P systems. In particular, we prove that universality can be obtained by using one catalyst. If we use only non-cooperative rules and one membrane, then we can obtain at least the family of Parikh images of the languages generated by ET0L systems. Several research proposals are also suggested. © Springer-Verlag Berlin Heidelberg 2005.
Pubblicazioni consigliate
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris
