Skip to main content
SpringerLink
Log in
Book cover

International Conference on Membrane Computing

CMC 2016: Membrane Computing pp 136–150Cite as

Chemical Term Reduction with Active P Systems

  • Conference paper
  • First Online:

  • 375 Accesses

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

Abstract

We present an attempt to translate the terms of a variant of the \(\gamma \)-calculus into membrane systems, such that the reduction sequences in the calculus are simulated by the computation of the corresponding membrane system. Finding such translations could help to reason about properties of membrane computations and properties of the reduction sequences of chemical calculi in terms of each other. By translating chemical computing formalisms to membrane systems, we might also obtain a high-level programming language for P systems which could also serve as an elegant and efficient way of presenting P system algorithms.

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

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
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Aman, B., Battyányi, P., Ciobanu, G., Vaszil, G.: Simulating P systems with membrane dissolution in a chemical calculus. Nat. Comput. 15, 521–532 (2016)

    Article  MathSciNet  Google Scholar 

  2. Atanasiu, A., Martin-Vide, C.: Recursive calculus with membranes. Fundam. Informaticae 49(1–3), 45–59 (2002)

    MathSciNet  MATH  Google Scholar 

  3. Banâtre, J.P., Fradet, P., Radenac, Y.: Principles of chemical programming. Electron. Notes Theor. Comput. Sci. 124(1), 133–147 (2005)

    Article  MATH  Google Scholar 

  4. Banâtre, J.P., Fradet, P., Radenac, Y.: Generalized multisets for chemical programming. Math. Struct. Comput. Sci. 16, 557–580 (2006)

    Article  MATH  Google Scholar 

  5. Banâtre, J.P., Le Métayer, D.: A new computational model and its discipline of programming. Technical report RR0566, INRIA (1986)

    Google Scholar 

  6. Banâtre, J.P., Le Métayer, D.: Programming by multiset transformation. Commun. ACM 36, 98–111 (1986)

    Article  Google Scholar 

  7. Battyányi, P., Vaszil, G.: Describing membrane computations with a chemical calculus. Fundam. Informaticae 134, 39–50 (2014)

    MathSciNet  MATH  Google Scholar 

  8. Battyányi, P.: Normalization properties of symmetric logical calculi. Ph.D. thesis, University of Chambéry (2007)

    Google Scholar 

  9. Fésüs, M., Vaszil, G.: Chemical programming, membrane systems. In: Proceedings of the 14th International Conference on Membrane Computing, Institute of Mathematics and Computer Science, Academy of Moldova, Chişinău, pp. 313–316 (2013)

    Google Scholar 

  10. Păun, G.: Computing with membranes. J. Comput. Syst. Sci. 61(1), 108–143 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  11. Xi, H.: Upper bounds for standardisation and an application. J. Symbolic Logic 64(1), 291–303 (1999)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Faculty of Informatics, University of Debrecen, Kassai út 26, Debrecen, 4028, Hungary

    Péter Battyányi & György Vaszil

Authors
  1. Péter Battyányi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. György Vaszil
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to György Vaszil .

Editor information

Editors and Affiliations

  1. University of Milano-Bicocca , Milan, Italy

    Alberto Leporati

  2. Leiden University , Leiden, The Netherlands

    Grzegorz Rozenberg

  3. Turku Center for Computer Science , Turku, Finland

    Arto Salomaa

  4. University of Milan-Bicocca , Milan, Italy

    Claudio Zandron

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Battyányi, P., Vaszil, G. (2017). Chemical Term Reduction with Active P Systems. In: Leporati, A., Rozenberg, G., Salomaa, A., Zandron, C. (eds) Membrane Computing. CMC 2016. Lecture Notes in Computer Science(), vol 10105. Springer, Cham. https://doi.org/10.1007/978-3-319-54072-6_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-54072-6_9

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-54071-9

  • Online ISBN: 978-3-319-54072-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation