skip to main content
10.5555/1755091.1755105guideproceedingsArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
Article

Carriers and counters: P systems with carriers vs. (blind) counter automata

Published: 18 September 2002 Publication History

Abstract

P systems with carriers are shown to be computationally complete with only a single membrane and two carriers. We argue that their power is due to the maximal parallelism required in the application of the rules. In fact, with a single carrier, these systems are equivalent to blind counter automata. Finally, with a single passenger restriction the systems are again computationally complete.

References

[1]
Alcuin of York (735-804). Propositiones ad Acuendos Iuvenes, around 799.
[2]
Bibliography of P Systems, at: The P Systems Web Page, C. Zandron (ed.), http://psystems.disco.unimib.it
[3]
H.-D. Burkhard. Ordered Firing in Petri Nets, Elektr. Informationsverarbeitung und Kybernetik EIK 17 (1981) 71-86.
[4]
R. Freund, Gh. P?aun, On the Number of Non-terminals in Graph-controlled, Programmed, and Matrix Grammars, in {MR01}, pages 214-225.
[5]
P. Frisco, H.J. Hoogeboom, Simulating Counter Automata by P Systems with Symport/Antiport. In: Gh Paun, C. Zandron (eds.) Pre-proceedings of the Second Workshop on Membrane Computing, Curtea de Arges Romania, Molconet Publication 1, 2002, pages 237-248. Updated papers to appear in LNCS.
[6]
S.A. Greibach, Remarks on Blind and Partially Blind One-Way Multicounter Machines, Theoretical Computer Science 7 (1978) 311-324.
[7]
D. Hauschildt, M. Jantzen, Petri Net Algorithms in the Theory of Matrix Grammars, Acta Informatica 8 (1994) 719-728.
[8]
J.E. Hopcroft, J.D. Ullman. Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 1979.
[9]
C. Martín-Vide, Gh. Paun, Computing with Membranes (P Systems): Universality Results, in {MR01}, pages 214-225.
[10]
C. Martín-Vide, Gh. Paun, G. Rozenberg, Membrane Systems with Carriers, Theoretical Computer Science 270 (2002) 779-796.
[11]
M. Margenstern, Y. Rogozhin (eds.) Procedings Universal Computational Models, Chisinau, Lecture Notes in Computer Science, Volume 2055, Springer Verlag, 2001.
[12]
Gh. Paun, Computing with Membranes, Journal of Computer and System Sciences, 61 (2000) 108-143.
[13]
Gh. Paun. Membrane Computing, an Introduction. Natural Computing Series, Springer Verlag, 2002.

Cited By

View all
  1. Carriers and counters: P systems with carriers vs. (blind) counter automata

      Recommendations

      Comments

      Information & Contributors

      Information

      Published In

      cover image Guide Proceedings
      DLT'02: Proceedings of the 6th international conference on Developments in language theory
      September 2002
      428 pages
      ISBN:3540404317
      • Editors:
      • Masami Ito,
      • Masafumi Toyama

      Publisher

      Springer-Verlag

      Berlin, Heidelberg

      Publication History

      Published: 18 September 2002

      Qualifiers

      • Article

      Contributors

      Other Metrics

      Bibliometrics & Citations

      Bibliometrics

      Article Metrics

      • Downloads (Last 12 months)0
      • Downloads (Last 6 weeks)0
      Reflects downloads up to 01 Jan 2025

      Other Metrics

      Citations

      Cited By

      View all

      View Options

      View options

      Media

      Figures

      Other

      Tables

      Share

      Share

      Share this Publication link

      Share on social media