On the power of P Systems with contextual rules

  • Authors:
  • S. N. Krishna;K. Lakshmanan;R. Rama

  • Affiliations:
  • Department of Mathematics, Indian Institute of Technology, Madras Chennai-36, Tamilnadu, India;Department of Mathematics, Indian Institute of Technology, Madras Chennai-36, Tamilnadu, India;Department of Mathematics, Indian Institute of Technology, Madras Chennai-36, Tamilnadu, India

  • Venue:
  • Fundamenta Informaticae - Membrane computing
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

We consider P Systems with string objects which evolve by means of one-sided contextual rules and erasing contextual rules. The generative power of these systems with three or less than three membranes is investigated. We show that systems with three membranes characterize the family of recursively enumerable languages. When the string replication is used in one-sided contextual rules, these systems are able of solving NP-complete problems in linear time: this is exemplified with SAT and HPP.