Skip to main content
SpringerLink
Log in

Automatic Translation of MP\(^{+}\)V Systems to Register Machines

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

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

Included in the following conference series:

Abstract

The present work proposes a translation of MP systems into register machines. The already proved universality of MP grammars [6] and the very simple subclass derived from it are used, in here, to present a specification of the metabolic computational paradigm of MP grammars at low (register) level, which is a first step toward a circuit-based implementation of these systems.

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

Access this chapter

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

Institutional subscriptions

Notes

  1. 1.

    The current version of the software (command-line application) may be downloaded at http://ricardo.guiraldelli.com/resources/software/compiler/regtomp.zip.

  2. 2.

    The original model of what we call Shepherdson’s and Sturgis’ extended register machine model [18] does not contain the JNZ instruction: it is introduced later and is shown that both JMP and JZ can be rewritten in terms of JNZ [18].

  3. 3.

    The algorithms use a kind of exponential notation to represent repetitions of commands, notation originally defined by Shepherdson and Sturgis [18]. They also make use of special registers, \(R_{\alpha }\) and \(R_{\beta }\), which are simply auxiliary registers to store values of intermediary operations. In fact, all the registers with greek-letter indexes, in the present work, are auxiliary registers. More details on them will be given in Sect. 4.

  4. 4.

    This definition of MP system is a simplification over the one presented in [10]: the concepts of number \(\nu \) of conventional mole and vector \(\mu \) of mole masses are useful in some circumstances, but not essential—specially in the context of the present work.

  5. 5.

    In order to differentiate the two “halts” in this paper, \(\mathtt {HALT}\) represents the halting instruction in register machines while \(HALT\) the metabolite in MP\(^{+}\)V systems.

References

  1. Beal, J., Lu, T., Weiss, R.: Automatic compilation from high-level biologically-oriented programming language to genetic regulatory networks. PLoS One 6(8), e22490 (2011)

    Article  Google Scholar 

  2. Brambilla, M., Cabot, J., Wimmer, M.: Model-Driven Software Engineering in Practice. Synthesis Lectures on Software Engineering, vol. 1, pp. 1–182. Morgan & Claypool, San Rafael (2012)

    Google Scholar 

  3. Castellini, A., Franco, G., Manca, V.: Hybrid functional Petri nets as MP systems. Nat. Comput. 9, 61–81 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  4. Fernandez, L., Martinez, V.J., Arroyo, F., Mingo, L.F.: A hardware circuit for selecting active rules in transition P systems. In: Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), p. 4. IEEE (2005)

    Google Scholar 

  5. Gheorghe, M., Stannett, M.: Membrane system models for super-turing paradigms. Nat. Comput. 11(2), 253–259 (2012)

    Article  MathSciNet  Google Scholar 

  6. Gracini Guiraldelli, R.H., Manca, V.: The Computational Universality of Metabolic Computing (2015). arxiv.org/abs/1505.02420

  7. Gravitz, L.: Cell on a Chip (2009). http://www.technologyreview.com/news/414622/cell-on-a-chip/

  8. Hinrichsen, D., Pritchard, A.J.: Mathematical Systems Theory I: Modelling, State Space Analysis, Stability and Robustness, Texts in Applied Mathematics, vol. 48. Springer, Heidelberg (2005)

    Google Scholar 

  9. Lewis, H., Papadimitriou, C.: Elements of the Theory of Computation, 2nd edn. Prentice-Hall, Upper Saddle River (1997)

    Google Scholar 

  10. Manca, V.: Infobiotics: Information in Biotic Systems. Emergence, Complexity and Computation, vol. 3. Springer, Heidelberg (2013)

    Google Scholar 

  11. Manca, V., Bianco, L., Fontana, F.: Evolution and oscillation in P systems: applications to biological phenomena. In: Mauri, G., Paun, G., Pérez-Jímenez, M.J., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 63–84. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  12. Manca, V., Lombardo, R.: Computing with multi-membranes. In: Gheorghe, M., Paun, G., Rozenberg, G., Salomaa, A., Verlan, S. (eds.) CMC 2011. LNCS, vol. 7184, pp. 282–299. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  13. Manca, V., Marchetti, L.: Solving dynamical inverse problems by means of metabolic P systems. Biosystems 109(1), 78–86 (2012)

    Article  Google Scholar 

  14. Minsky, M.: Computation: Finite and Infinite Machines, 1st edn. Prentice Hall, Englewood Cliffs (1967)

    MATH  Google Scholar 

  15. Paun, G.: A quick introduction to membrane computing. J. Logic Algebraic Program. 79, 291–294 (2010)

    Article  MATH  Google Scholar 

  16. Sarpeshkar, R.: Ultra-Low Power Bioelectronics: Fundamentals, Biomedical Applications, and Bio-Inspired Systems, 1st edn. Cambridge University Press, Cambridge (2010)

    Book  Google Scholar 

  17. Sarpeshkar, R.: Analog synthetic biology. Philos. Trans. A Math. Phys. Eng. Sci. 372(2012), 20130110 (2014)

    Article  Google Scholar 

  18. Shepherdson, J.C., Sturgis, H.E.: Computability of recursive functions. J. ACM 10, 217–255 (1963)

    Article  MATH  MathSciNet  Google Scholar 

  19. Siegelmann, H.T., Fishman, S.: Analog computation with dynamical systems. Physica D 120(1–2), 214–235 (1998)

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Verona, Strada Le Grazie, 15, 37134, Verona, Italy

    Ricardo Henrique Gracini Guiraldelli & Vincenzo Manca

Authors
  1. Ricardo Henrique Gracini Guiraldelli
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Vincenzo Manca
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ricardo Henrique Gracini Guiraldelli .

Editor information

Editors and Affiliations

  1. LIACS, Leiden University, Leiden, Zuid-Holland, The Netherlands

    Grzegorz Rozenberg

  2. Turku Center for Computer Science, Turku, Finland

    Arto Salomaa

  3. Universidad Politécnica de Valencia, Valencia, Spain

    José M. Sempere

  4. University of Milan-Bicocca, Milano, Italy

    Claudio Zandron

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Gracini Guiraldelli, R.H., Manca, V. (2015). Automatic Translation of MP\(^{+}\)V Systems to Register Machines. In: Rozenberg, G., Salomaa, A., Sempere, J., Zandron, C. (eds) Membrane Computing. CMC 2015. Lecture Notes in Computer Science(), vol 9504. Springer, Cham. https://doi.org/10.1007/978-3-319-28475-0_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-28475-0_13

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-28474-3

  • Online ISBN: 978-3-319-28475-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation