Journal of Computer and System Sciences
Handbook of Formal Languages
Membrane Computing: An Introduction
Membrane Computing: An Introduction
Beyond the Turing Limit: Evolving Interactive Systems
SOFSEM '01 Proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics Piestany: Theory and Practice of Informatics
Some connections between nonuniform and uniform complexity classes
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
Membrane system models for super-Turing paradigms
Natural Computing: an international journal
Hi-index | 0.00 |
We introduce a simple model of P system motivated by certain restrictions found in biological systems. Its computational power is rather limited and corresponds to that of a finite transducer. An important characteristics of the model is its interactive behavior. Then we study the computational power of evolutionary lineages of such P systems. Referring to known results from the structural complexity theory (Karp and Lipton, Wiedermann and van Leeuwen), we show that a super-Turing computational potential can emerge in non-uniform lineages of these restricted P systems. Furthermore, key features of our model are related to lineages of biological systems. In this way, our results provide another argument supporting the thesis from [14] and others that a super-Turing potential is naturally and inherently present in evolution of living organisms.