We propose a new formalism for generating picture languages based on an assembly mechanism of tiles that uses rules having a context and a replacement site. More precisely, a picture language will be generated from a finite set of initial pictures by iteratively applying rewriting rules from a given finite set of rules, called a tiling rule system (TRuS system). We prove that the TRuS systems have a greater generative capacity than the tiling systems of Giammarresi and Restivo. This is due mainly to the use of the notion of replacement site, but we further characterize the difference between these systems by comparing them to Wang systems.

Bonizzoni, P., Ferretti, C., Anthonath, R., Mauri, G. (2011). Picture languages generated by assembling tiles. FUNDAMENTA INFORMATICAE, 110(1-4), 77-93 [10.3233/FI-2011-529].

Picture languages generated by assembling tiles

BONIZZONI, PAOLA;FERRETTI, CLAUDIO;ANTHONATH, ROSLIN SAGAYA MARY;MAURI, GIANCARLO
2011

Abstract

We propose a new formalism for generating picture languages based on an assembly mechanism of tiles that uses rules having a context and a replacement site. More precisely, a picture language will be generated from a finite set of initial pictures by iteratively applying rewriting rules from a given finite set of rules, called a tiling rule system (TRuS system). We prove that the TRuS systems have a greater generative capacity than the tiling systems of Giammarresi and Restivo. This is due mainly to the use of the notion of replacement site, but we further characterize the difference between these systems by comparing them to Wang systems.
Articolo in rivista - Articolo scientifico
formal languages; tile systems; picture laguages
English
2011
110
1-4
77
93
none
Bonizzoni, P., Ferretti, C., Anthonath, R., Mauri, G. (2011). Picture languages generated by assembling tiles. FUNDAMENTA INFORMATICAE, 110(1-4), 77-93 [10.3233/FI-2011-529].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/30363
Citazioni
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 2
Social impact