Skip to main content
SpringerLink
Log in
Book cover

International Conference on Machines, Computations, and Universality

MCU 2022: Machines, Computations, and Universality pp 75–90Cite as

Languages of Distributed Reaction Systems

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 13419))

Abstract

Reaction systems are a formal model of interactions between biochemical reactions. The motivation for the concept of a reaction system was to model the behavior of biological systems in which a large number of individual reactions interact with each other. A reaction system consists of a finite set of objects that represent chemicals and a finite set of triplets (reactants, inhibitors, products) that represent chemical reactions; the reactions may facilitate or inhibit each other. An extension of the concept of the reaction system is the distributed reaction system which model was inspired by multi-agent systems, agents (represented by reaction systems) interact with their environment (context provided by a context automaton). In this paper, we assign languages to distributed reaction systems and provide representations of some well-known language classes by these systems.

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   149.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   199.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. Azimi, S.: Steady states of constrained reaction systems. Theor. Comput. Sci. 701, 20–26 (2017). https://doi.org/10.1016/j.tcs.2017.03.047

    Article  MathSciNet  MATH  Google Scholar 

  2. Azimi, S., Gratie, C., Ivanov, S., Manzoni, L., Petre, I., Porreca, A.E.: Complexity of model checking for reaction systems. Theor. Comput. Sci. 623, 103–113 (2016). https://doi.org/10.1016/j.tcs.2015.11.040

    Article  MathSciNet  MATH  Google Scholar 

  3. Azimi, S., Iancu, B., Petre, I.: Reaction system models for the heat shock response. Fundam. Informaticae 131(3–4), 299–312 (2014). https://doi.org/10.3233/FI-2014-1016

    Article  MathSciNet  MATH  Google Scholar 

  4. Bottoni, P., Labella, A., Rozenberg, G.: Networks of reaction systems. Int. J. Found. Comput. Sci. 31(1), 53–71 (2020)

    Article  MathSciNet  Google Scholar 

  5. Csuhaj-Varjú, E., Sethy, P.K.: Communicating reaction systems with direct communication. In: Freund, R., Ishdorj, T.-O., Rozenberg, G., Salomaa, A., Zandron, C. (eds.) CMC 2020. LNCS, vol. 12687, pp. 17–30. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-77102-7_2

    Chapter  Google Scholar 

  6. Ehrenfeucht, A., Main, M.G., Rozenberg, G.: Functions defined by reaction systems. Int. J. Found. Comput. Sci. 22(1), 167–178 (2011). https://doi.org/10.1142/S0129054111007927

    Article  MathSciNet  MATH  Google Scholar 

  7. Ehrenfeucht, A., Rozenberg, G.: Basic notions of reaction systems. In: Calude, C.S., Calude, E., Dinneen, M.J. (eds.) DLT 2004. LNCS, vol. 3340, pp. 27–29. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-30550-7_3

    Chapter  Google Scholar 

  8. Ehrenfeucht, A., Rozenberg, G.: Reaction systems. Fundam. Informaticae 75(1–4), 263–280 (2007)

    MathSciNet  MATH  Google Scholar 

  9. Geffert, V.: Normal forms for phrase-structure grammars. RAIRO Theor. Inform. Appl. 25, 473–496 (1991). https://doi.org/10.1051/ita/1991250504731

    Article  MathSciNet  MATH  Google Scholar 

  10. Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 3rd edn. Pearson International Edition. Addison-Wesley (2007)

    Google Scholar 

  11. Ibarra, O.H.: Simple matrix languages. Inf. Control 17(4), 359–394 (1970). https://doi.org/10.1016/S0019-9958(70)80034-1

    Article  MathSciNet  MATH  Google Scholar 

  12. Meski, A., Koutny, M., Penczek, W.: Model checking for temporal-epistemic properties of distributed reaction systems. Technical report Series CS-TR-1526, Newcastle University, April 2019

    Google Scholar 

  13. Meski, A., Penczek, W., Rozenberg, G.: Model checking temporal properties of reaction systems. Inf. Sci. 313, 22–42 (2015). https://doi.org/10.1016/j.ins.2015.03.048

    Article  MATH  Google Scholar 

  14. Păun, Gh., Pérez-Jiménez, M.J.: dP automata versus right-linear simple matrix grammars. In: Dinneen, M.J., Khoussainov, B., Nies, A. (eds.) WTCS 2012. LNCS, vol. 7160, pp. 376–387. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-27654-5_29

  15. Păun, Gh., Pérez-Jiménez, M.J.: An infinite hierarchy of languages defined by dP systems. Theor. Comput. Sci. 431, 4–12 (2012). https://doi.org/10.1016/j.tcs.2011.12.053

    Article  MathSciNet  MATH  Google Scholar 

  16. Salomaa, A.: Functions and sequences generated by reaction systems. Theor. Comput. Sci. 466, 87–96 (2012). https://doi.org/10.1016/j.tcs.2012.07.022

    Article  MathSciNet  MATH  Google Scholar 

  17. Salomaa, A.: Functional constructions between reaction systems and propositional logic. Int. J. Found. Comput. Sci. 24(1), 147–160 (2013)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

The authors thank the reviewers for their the valuable comments and suggestions.

The work by E. Csuhaj-Varjú was supported by the National Research, Development, and Innovation Office - NKFIH, Hungary, Grant no. K 120558. The work by L. Ciencialová and L. Cienciala was supported by the project no. CZ.02.2.69/0.0/0.0/18_054/0014696, “Development of R &D capacities of the Silesian University in Opava”, co-funded by the European Union.

Author information

Authors and Affiliations

  1. Institute of Computer Science and Research Institute of the IT4Innovations Centre of Excellence, Silesian University in Opava, Opava, Czech Republic

    Lucie Ciencialová & Luděk Cienciala

  2. Department of Algorithms and Their Applications, Faculty of Informatics, ELTE Eötvös Loránd University, Pázmány Péter sétány 1/c, 1117, Budapest, Hungary

    Erzsébet Csuhaj-Varjú

Authors
  1. Lucie Ciencialová
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Luděk Cienciala
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Erzsébet Csuhaj-Varjú
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Erzsébet Csuhaj-Varjú .

Editor information

Editors and Affiliations

  1. Université d’Orléans, Orléans, France

    Jérôme Durand-Lose

  2. University of Debrecen, Debrecen, Hungary

    György Vaszil

Rights and permissions

Reprints and permissions

Copyright information

© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Ciencialová, L., Cienciala, L., Csuhaj-Varjú, E. (2022). Languages of Distributed Reaction Systems. In: Durand-Lose, J., Vaszil, G. (eds) Machines, Computations, and Universality. MCU 2022. Lecture Notes in Computer Science, vol 13419. Springer, Cham. https://doi.org/10.1007/978-3-031-13502-6_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-13502-6_5

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-13501-9

  • Online ISBN: 978-3-031-13502-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation