Membrane system models for super-Turing paradigms

Authors:
Marian Gheorghe;Mike Stannett
Affiliations:
Department of Computer Science, University of Sheffield Regent Court, Sheffield, UK S1 4DP and Department of Computer Science, University of Pitesti, Pitesti, Romania 110040;Department of Computer Science, University of Sheffield Regent Court, Sheffield, UK S1 4DP
Venue:
Natural Computing: an international journal
Year:
2012

Citing 8
Cited 1

Computing with membranes

Journal of Computer and System Sciences
Fuzzifying P Systems

The Computer Journal
Observation of String-Rewriting Systems

Fundamenta Informaticae - SPECIAL ISSUE MCU2004
The Oxford Handbook of Membrane Computing

The Oxford Handbook of Membrane Computing
A computational journey into nonlinearity

UC'10 Proceedings of the 9th international conference on Unconventional computation
A note on accelerated turing machines

Mathematical Structures in Computer Science
On evolutionary lineages of membrane systems

WMC'05 Proceedings of the 6th international conference on Membrane Computing
Computing beyond the turing limit using the h systems

DNA'04 Proceedings of the 10th international conference on DNA computing

Membrane systems and hypercomputation

CMC'12 Proceedings of the 13th international conference on Membrane Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

We extend Calude and P驴un's accelerating P system model of computation, and investigate the computational power of the resulting systems. We show that the resulting systems can solve problems at all levels of the arithmetical hierarchy, and that the higher systems have hyperarithmetical computational power.