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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.