On the computational complexity of P automata

  • Authors:
  • Erzsébet Csuhaj-Varjú;Oscar H. Ibarra;György Vaszil

  • Affiliations:
  • Computer and Automation Research Institute, Hungarian Academy of Sciences, Budapest, Hungary;Department of Computer Science, University of California, Santa Barbara, CA;Computer and Automation Research Institute, Hungarian Academy of Sciences, Budapest, Hungary

  • Venue:
  • DNA'04 Proceedings of the 10th international conference on DNA computing
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

We characterize the classes of languages described by P automata, i.e., accepting P systems with communication rules only. Motivated by properties of natural computing systems, we study computational complexity classes with a certain restriction on the use of the available workspace in the course of computations and relate these to the language classes described by P automata. We prove that if the rules of the P system are applied sequentially, then the accepted language class is strictly included in the class of languages accepted by one-way Turing machines with a logarithmically bounded workspace, and if the rules are applied in the maximal parallel manner, then the class of context-sensitive languages is obtained.