Picture Languages Generated by Assembling Tiles

  • Paola Bonizzoni
  • Claudio Ferretti
  • Anthonath Roslin Sagaya Mary
  • Giancarlo Mauri
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5457)

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, even in the case of one-letter alphabet picture languages. This is due mainly to the use of the notion of replacement.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Anselmo, M., Giammarresi, D., Madonia, M.: New operations and regular expressions for two-dimensional languages over one-letter alphabet. Theoretical Computer Science 340, 408–431 (2005)MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    Anselmo, M., Madonia, M.: Deterministic two-dimensional languages over one-letter alphabet. In: Bozapalidis, S., Rahonis, G. (eds.) CAI 2007. LNCS, vol. 4728, pp. 147–159. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  3. 3.
    Bertoni, A., Goldwurm, M., Lonati, V.: On the complexity of unary tiling-recognizable picture languages. In: Thomas, W., Weil, P. (eds.) STACS 2007. LNCS, vol. 4393, pp. 381–392. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  4. 4.
    Bonizzoni, P., Ferretti, C., Mary, A.R.S., Mauri, G.: Picture languages generated by assembling tiles (extended version, 2008) (2008), http://openit.disco.unimib.it/assemblingTRF.pdf
  5. 5.
    Cherubini, A., Crespi Reghizzi, S., Pradella, M.: Regional languages and tiling: A unifying approach to picture grammars. In: Ochmański, E., Tyszkiewicz, J. (eds.) MFCS 2008. LNCS, vol. 5162, pp. 253–264. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  6. 6.
    Cherubini, A., Crespi Reghizzi, S., Pradella, M., San Pietro, P.: Picture langugages: Tiling system versus Tile rewriting grammars. Theoretical Computer Science 356, 90–103 (2006)MathSciNetCrossRefMATHGoogle Scholar
  7. 7.
    Crespi Reghizzi, S., Pradella, M.: Tile rewriting grammars and picture languages. Theoretical Computer Science 340, 257–272 (2005)MathSciNetCrossRefMATHGoogle Scholar
  8. 8.
    De Prophetis, L., Varricchio, S.: Recognizability of Rectangular Pictures by Wang Systems. Journal of Automata, Languages and Combinatorics 2, 4, 269–288 (1997)MathSciNetMATHGoogle Scholar
  9. 9.
    Giammarresi, D.: Two-dimensional languages and recognizable functions. In: Procs. DLT 1993. World Scientific Publishing Co., Singapore (1994)Google Scholar
  10. 10.
    Giammarresi, D., Restivo, A.: Two-dimensional languages. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, vol. 3, pp. 215–267. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  11. 11.
    Kari, J., Moore, C.: New results on alternating and non-deterministic two-dimensional finite-state automata. In: Ferreira, A., Reichel, H. (eds.) STACS 2001. LNCS, vol. 2010, pp. 396–406. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  12. 12.
    Winfree, E.: Algorithmic self-assembly of DNA: theoretical motivations and 2D assembly experiments. Journal of Biomol. Str. and Dynamics 11, 263–270 (2000)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Paola Bonizzoni
    • 1
  • Claudio Ferretti
    • 1
  • Anthonath Roslin Sagaya Mary
    • 1
  • Giancarlo Mauri
    • 1
  1. 1.Dipartimento di Informatica Sistemistica e ComunicazioneUniversità degli Studi di Milano – BicoccaMilanoItaly

Personalised recommendations