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.
Bottoni, P., Mauri, G., & Mussio, P. (1997). On controlling rewriting by properties of strings and symbols. In G. Paun, & A. Salomaa (a cura di), New trends in formal languages (pp. 71-94). Berlin : Springer.
|Citazione:||Bottoni, P., Mauri, G., & Mussio, P. (1997). On controlling rewriting by properties of strings and symbols. In G. Paun, & A. Salomaa (a cura di), New trends in formal languages (pp. 71-94). Berlin : Springer.|
|Titolo:||On controlling rewriting by properties of strings and symbols|
|Autori:||Bottoni, P; Mauri, G; Mussio, P|
|Presenza di un coautore afferente ad Istituzioni straniere:||No|
|Tipo:||Capitolo o saggio|
|Carattere della pubblicazione:||Scientifica|
|Data di pubblicazione:||1997|
|Titolo del libro:||New trends in formal languages|
|Appare nelle tipologie:||03 - Contributo in libro|