摘要

We extend Calude and Pun%26apos;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.

  • 出版日期2012-6