Skip to main content
SpringerLink
Log in
Book cover

New Trends in Formal Languages pp 71–94Cite as

On controlling rewriting by properties of strings and symbols

  • 1. Regulated Rewriting
  • Chapter
  • First Online:

  • 98 Accesses

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

Abstract

In this paper we explore forms of organization of rewriting systems which allow the systematic modelling of systems for human-computer interaction and the control of their dynamics. To this end we exploit tools from formal languages, adopting forms of parallel rewriting from L-systems tradition. Based on this formalisation, a notion of controlled rewriting is proposed where information about how to rewrite strings is embedded into the strings themselves or in properties of symbols. The main contribution of the paper is the introduction of a variety of families of L-systems with new control mechanisms in their rewriting relations. Hierarchies in the families are discussed and some relations among them presented. We also start the exploration of the closure properties of these language families. Finally, we discuss some relations among the proposed families of L-systems and families of grammar systems.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. N. Bianchi, P. Bottoni, P. Mussio, M. Protti, “Cooperative Visual Environments for the Design of Effective Visual Systems”, JVLC, vol. 4, n. 4, pp. 357–381, 1993

    Google Scholar 

  2. P. Bottoni, M. F. Costabile, S. Levialdi, P. Mussio, “Formalizing visual languages”, Proc. IEEE Symp. on Vis. Lang. '95. IEEE CS Press, 1995, pp. 334–341.

    Google Scholar 

  3. P. Bottoni, M. Mariotto, P. Mussio, “LiSEB: a Language for Modeling Living Systems with APL2”, APL Quote Quad, vol. 25, n. 1, 1994, pp. 7–16

    Google Scholar 

  4. P. Bottoni, G. Mauri, P. Mussio, “On controlling rewriting in Cooperative Systems”, Technical report in preparation.

    Google Scholar 

  5. E. Csuhaj-Varju, J. Dassow, “On cooperating distributed grammar systems”, J. Inform. Process. Cybern., EIK, vol. 26, pp. 49–63, 1990

    Google Scholar 

  6. E. Csuhaj-Varju, J. Dassow, J. Kelemen, G. Păun, Grammar Systems: A Grammatical Approach to Distribution and Cooperation, Gordon & Breach, 1994

    Google Scholar 

  7. E. Csuhaj-Varju, J. Dassow, J. Kelemen, G. Păun, “Stratified Grammar Systems”, Computers and Artificial Intelligence, vol. 13, n. 5, pp. 409–422, 1994

    Google Scholar 

  8. E. Csuhaj-Varju, J. Dassow, G. Păun, “Stratified Grammar Systems”, Computers and Artificial Intelligence, vol. 13, n. 5, pp. 409–422, 1994

    Google Scholar 

  9. E. Csuhaj-Varju, J. Kelemen, A. Kelemenova, G. Păun, “Eco-grammar systems: A grammatical framework for studying life-like interaction”, Artificial Life, vol. 3, nr. 1, 1997.

    Google Scholar 

  10. E. Csuhaj-Varju, J. Kelemen, G. Păun, “Grammar Systems with WAVE-Like Communication”, Computers and Artificial Intelligence, vol. 15, n. 5, pp. 419–436, 1996.

    Google Scholar 

  11. J. Dassow, G. Păun, Regulated Rewriting in Formal Language Theory, Springer, 1989

    Google Scholar 

  12. D. Giammarresi, A. Restivo, “Recognizable picture languages”, International Journal of Pattern Recognition and Artificial Intelligence, vol. 6, pp. 31–46, 1992.

    Google Scholar 

  13. R. Freund, G. Păun, “A Variant of Team Cooperation in Grammar Systems”, J. Universal Computer Science, vol. 1, n. 2, pp. 105–130, 1995

    Google Scholar 

  14. G. T. Herman, G. Rozenberg, Developmental Systems and Languages, North-Holland, 1975

    Google Scholar 

  15. K. Inoue, I. Takanami, “A survey of two-dimensional automata theory”, Information Science, vol. 55, pp. 99–121, 1991.

    Google Scholar 

  16. L. Kari-Sântean, “Parallel Communicating Grammar Systems:”, in G. Rozenberg, A. Salomaa eds., Current Trends in Theoretical Computer Science. Essays and Tutorials, World Scientific, pp. 603–615, 1993.

    Google Scholar 

  17. U. Kastens, “Attribute Grammars as a Specification Method”, Attribute Grammars, Applications and Systems, LNCS 545, 1991, Springer, pp. 16–47.

    Google Scholar 

  18. J. Kelemen ed., “Distributed AI, Decentralized AI and Multiagent Systems”, Special Issue of Computers and Artificial Intelligence, vol. 12, n. 1, 1993

    Google Scholar 

  19. J. Kelemen, “Artificial life: Describing life-like behaviors in computational frameworks”, in G. Păun ed., Artificial life: grammatical models, Black Sea press, pp. 1–21, 1995

    Google Scholar 

  20. L. Kari, A. Mateescu, G. Paun, A. Salomaa, “Teams in cooperating grammar systems”, J. Exp. and Theoret. Artif. Intel., vol. 7, pp. 347–359, 1995

    Google Scholar 

  21. D. Knuth, “Semantics of context-free languages”, J. Math Syst. Theory, vol. 2, pp. 127–145, 1968

    Google Scholar 

  22. B. Mayoh, “Templates, fragments and skins”, in G. Rozenberg, A. Salomaa eds., Lindenmayer Systems, Springer, 1992, pp. 497–514

    Google Scholar 

  23. T. W. Malone, K. Crowston, “The Interdisciplinary Study of Coordination”, ACM Computing Surveys, vol. 26, n. 1, pp. 87–121, 1994

    Google Scholar 

  24. V. Mitrana, G. Păun, G. Rozenberg, “Structuring grammar systems by priorities and hierarchies”, Acta Cybernetica, vol. 11, n. 3, pp. 189–204, 1994

    Google Scholar 

  25. J. Paakki, “Attribute Grammar Paradigms, A High-Level Methodology in Language Implementation”, ACM Computing Surveys, vol. 27, n. 2, pp. 196–255, 1995

    Google Scholar 

  26. G. Păun, “Parallel communicating Lindenmayer systems”, in G. Rozenberg, A. Salomaa, Lindenmayer Systems, Springer, 1992, pp. 405–417

    Google Scholar 

  27. G. Păun, “On the synchronization in parallel communicating grammar systems”, Acta Informatica, vol. 30, pp. 351–367, 1993

    Google Scholar 

  28. G. Păun, G. Rozenberg, “Prescribed teams of grammars”, Acta Informatica, vol. 31, pp. 525–537, 1994

    Google Scholar 

  29. G. Păun, L. Sântean, “Parallel communicating grammar systems: the regular case, Annals of Bucharest Univ., Mathematics-Informatics Series, vol. 38, pp. 55–63, 1989

    Google Scholar 

  30. G. Rozenberg, “Theory of L-systems: From the point of view of formal language theory”, in G. Rozenberg, A. Salomaa eds., L Systems, Springer, 1974, pp. 1–24

    Google Scholar 

  31. A. Salomaa, “L codes and L systems with immigration”, in G. Rozenberg, A. Salomaa eds., Current Trends in Theoretical Computer Science. Essays and Tutorials, pp. 595–602, World Scientific, 1993

    Google Scholar 

  32. L. Santean, “Parallel Communicating Grammar Systems”, in G. Rozenberg, A. Salomaa eds., Current Trends in Theoretical Computer Science. Essays and Tutorials, pp. 603–615, World Scientific, 1993

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dip. Scienze dell'Informazione, Universitá “La Sapienza” di Roma, via Salaria 113, 00198, Roma, Italy

    Paolo Bottoni

  2. Dip. Scienze dell'Informazione, Universitá degli Studi di Milano, via Comelico 39, 20100, Milano, Italy

    Giancarlo Mauri

  3. Dipartimento di Elettronica per l'Automazione, Universitá degli Studi di Brescia, via Branze 38, 25123, Brescia, Italy

    Piero Mussio

Authors
  1. Paolo Bottoni
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Giancarlo Mauri
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Piero Mussio
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Gheorghe Păun Arto Salomaa

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Bottoni, P., Mauri, G., Mussio, P. (1997). On controlling rewriting by properties of strings and symbols. In: Păun, G., Salomaa, A. (eds) New Trends in Formal Languages. Lecture Notes in Computer Science, vol 1218. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-62844-4_6

Download citation

  • DOI: https://doi.org/10.1007/3-540-62844-4_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-62844-6

  • Online ISBN: 978-3-540-68703-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation