P Automata or Purely Communicating Accepting P Systems

  • Erzsébet Csuhaj-Varjú
  • György Vaszil
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2597)

Abstract

In this paper we introduce the notion of a P automaton with one-way communication, a concept related both to Psystems and the traditional concept of automata. A P automaton with one-way communication is a purely communicating accepting Psystem. The result of the computation in these systems is the set of multiset sequences consumed by the skin membrane, supposing that the P automaton started functioning in an initial state and entered a so-called final state. As a result, we show that for any recursively enumerable language, a P automaton and a certain type of projection can be constructed such that the given language is obtained as the image of the set of accepted input multiset sequences of the Pautomaton.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Fischer, P. C.: Turing machines with restricted memory access. Information and Control 9 (1966) 364–379.MathSciNetMATHCrossRefGoogle Scholar
  2. 2.
    Hopcroft, J. E., Ullman, J. D.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Reading, Mass., 1979.Google Scholar
  3. 3.
    Martín-Vide, C., Păun, A., Păaun, Gh.: On the power of Psystems with symport rules. Journal of Universal Computer Science 8(2) (2002) 317–331.MathSciNetGoogle Scholar
  4. 4.
    Păun, Gh.: Computing with membranes. TUCS Report 208, Turku Centre for Computer Science, 1998.Google Scholar
  5. 5.
    Păun, Gh.: Computing with membranes. An introduction. Bulletin of the EATCS 67 (1999) 139–152.MATHGoogle Scholar
  6. 6.
    Păun, Gh.: Computing with membranes. Journal of Computer and System Sciences 61(1) (2000) 108–143.MathSciNetMATHCrossRefGoogle Scholar
  7. 7.
    Păun, Gh.: Computing with membranes (PSystems): Twenty six research topics. CDMTCS Technical Report 119, Univ. of Auckland, 2000.Google Scholar
  8. 8.
    Păun, Gh.: Membrane Computing. An Introduction. Springer-Verlag, Berlin, 2002.Google Scholar
  9. 9.
    Păun, Gh., Rozenberg, G.: A guide to membrane computing. Theoretical Computer Science 287 (2002) 73–100.MathSciNetMATHCrossRefGoogle Scholar
  10. 10.
    Rozenberg, G., Salomaa, A., eds.: Handbook of Formal Languages. Volumes I–III. Springer-Verlag, Berlin, 1997.MATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Erzsébet Csuhaj-Varjú
    • 1
  • György Vaszil
    • 1
  1. 1.Computer and Automation Research Institute Hungarian Academy of SciencesBudapestHungary

Personalised recommendations