Ultimately Confluent Rewriting Systems. Parallel Multiset–Rewriting with Permitting or Forbidding Contexts

  • Artiom Alhazov
  • Dragoş Sburlan
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3365)

Abstract

The aim of this paper is to study the power of parallel multiset-rewriting systems with permitting or forbidding context (or P systems with non-cooperative rules with promoters or inhibitors). The main results obtained are those if we use promoters or inhibitors of weight two, then the systems are computational universal.

Moreover, both constructions satisfy a special property we define: they are ultimately confluent. This means that if the system allows at least one halting computation, then their final configurations are reachable from any reachable configuration. The other property both constructions satisfy is that a system allowing at least one halting computation will halt with probability 1.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bottoni, P., Martín-Vide, C., Păun, G., Rozenberg, G.: Membrane Systems with Promoters/Inhibitors. Acta Informatica 38(10), 695–720 (2002)MATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Ionescu, M., Sburlan, D.: On P Systems with Promoters/Inhibitors. JUCS 10(5), 581–599 (2004)MathSciNetGoogle Scholar
  3. 3.
    Păun, G.: Computing with Membranes: An Introduction. Springer, Berlin (2002)Google Scholar
  4. 4.
    Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages. Springer, Berlin (1997)MATHGoogle Scholar
  5. 5.
    Sburlan, D.: New Results on P Systems with Multiset Promoted/Inhibited Rules. In: PAMM 2004, Balaton-Almady, Hungary (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Artiom Alhazov
    • 1
    • 2
  • Dragoş Sburlan
    • 3
    • 4
  1. 1.Research Group on Mathematical LinguisticsRovira i Virgili UniversitySpain
  2. 2.Institute of Mathematics and Computer ScienceAcademy of Sciences of MoldovaMoldova
  3. 3.Department of Informatics and Numerical MethodsOvidius University of ConstantzaRomania
  4. 4.Department of Computer Science and Artificial IntelligenceUniversity of SevillaSpain

Personalised recommendations