Skip to main content

APCol Systems with Teams

  • Conference paper
  • First Online:
Membrane Computing (CMC 2017)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 10725))

Included in the following conference series:

  • 320 Accesses

Abstract

We investigate the possibility of “going beyond” Turing in the terms of Automaton-like P Colonies (APCol systems, for short), variants of P colonies processing strings as their environments. We use the notion of teams of agents as a restriction for the maximal parallelism of the computation. In addition, we assign a colour to each team. In the course of the computation, the colour is changing according to the team that is currently active. We show that we can simulate red-green counter machines with APCol systems with two-coloured teams of minimal size. Red-green counter machines are computing devices with infinite run on finite input that exceed the power of Turing machines.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Alhazov, A., Aman, B., Freund, R., Păun, G.: Matter and anti-matter in membrane systems. In: Jürgensen, H., Karhumäki, J., Okhotin, A. (eds.) DCFS 2014. LNCS, vol. 8614, pp. 65–76. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-09704-6_7

    Google Scholar 

  2. Aman, B., Csuhaj-Varjú, E., Freund, R.: Red–green P automata. In: Gheorghe, M., Rozenberg, G., Salomaa, A., Sosík, P., Zandron, C. (eds.) CMC 2014. LNCS, vol. 8961, pp. 139–157. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-14370-5_9

    Google Scholar 

  3. Cienciala, L., Ciencialová, L.: P colonies and their extensions. In: Kelemen, J., Kelemenová, A. (eds.) Computation, Cooperation, and Life. LNCS, vol. 6610, pp. 158–169. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-20000-7_13

    Chapter  Google Scholar 

  4. Cienciala, L., Ciencialová, L., Csuhaj-Varjú, E.: Towards on P colonies processing strings. In: Proceedings of the BWMC 2014, Sevilla, pp. 102–118. Fénix Editora, Sevilla (2014)

    Google Scholar 

  5. Csuhaj-Varjú, E.: Extensions of P colonies (extended abstract). In: Leporati, A., Zandron, C. (eds.) Proceedings of the CMC17, Milan, pp. 281–286. University Milano-Bicocca & IMCS, Italy (2014)

    Google Scholar 

  6. Csuhaj-Varjú, E., Kelemen, J., Păun, G., Dassow, J. (eds.): Grammar Systems: A Grammatical Approach to Distribution and Cooperation. Gordon and Breach Science Publishers Inc., Newark (1994)

    MATH  Google Scholar 

  7. Kelemenová, A.: P colonies. In: Păun, G., Rozenberg, G., Salomaa, A. (eds.) The Oxford Handbook of Membrane Computing, pp. 584–593. Oxford University Press, Oxford (2010). Chapter 23.1

    Google Scholar 

  8. Kelemen, J., Kelemenová, A., Păun, G.: Preview of P colonies: a biochemically inspired computing model. In: Workshop and Tutorial Proceedings of the Ninth International Conference on the Simulation and Synthesis of Living Systems (Alife IX), Boston, Mass, pp. 82–86 (2004)

    Google Scholar 

  9. Kelemen, J., Kelemenová, A.: A grammar-theoretic treatment of multiagent systems. Cybern. Syst. 23(6), 621–633 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  10. Minsky, M.L.: Computation: Finite and Infinite Machines. Prentice Hall, Englewood Cliffs (1967)

    MATH  Google Scholar 

  11. van Leeuwen, J., Wiedermann, J.: Computation as an unbounded process. Theor. Comput. Sci. 429, 202–212 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  12. Păun, G., Rozenberg, G., Salomaa, A. (eds.): The Oxford Handbook of Membrane Computing. Oxford University Press Inc., New York (2010)

    MATH  Google Scholar 

  13. Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages, vols. I–III. Springer, Berin/Heidelberg/New York (1997)

    Google Scholar 

Download references

Acknowledgments

This work was supported by The Ministry of Education, Youth and Sports from the National Programme of Sustainability (NPU II) project IT4Innovations excellence in science - LQ1602, by SGS/13/2016 and by the National Research, Development, and Innovation Office - NKFIH, Hungary, Grant No. K 120558.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Erzsébet Csuhaj-Varjú .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Ciencialová, L., Cienciala, L., Csuhaj-Varjú, E. (2018). APCol Systems with Teams. In: Gheorghe, M., Rozenberg, G., Salomaa, A., Zandron, C. (eds) Membrane Computing. CMC 2017. Lecture Notes in Computer Science(), vol 10725. Springer, Cham. https://doi.org/10.1007/978-3-319-73359-3_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-73359-3_6

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-73358-6

  • Online ISBN: 978-3-319-73359-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics