Advertisement

Tiling Recognizable Two-Dimensional Languages

  • Dora Giammarresi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4728)

Abstract

Tiling recognizable two-dimensional languages generalizes recognizable string languages to two dimensions and share with them several properties. Nevertheless two-dimensional recognizable languages are not closed under complement and this implies that are intrinsically non-deterministic. We introduce the notion of deterministic and unambiguous tiling system that generalizes deterministic and unambiguous automata for strings and show that, differently from the one-dimensional case, there exist other distinct classes besides deterministic, unambiguous and non-deterministic families that can be separated by means of examples and decidability properties. Finally we introduce a model of automaton, referred to as tiling automaton, defined as a scanning strategy plus a transition function given by a tiling system. Languages recognized by tiling automata are compared with ones recognized by on-line tesselation automata and four-way automata.

Keywords

Automata and Formal Languages Two-dimensional languages Tiling systems Unambiguity Determinism 

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 Operators and Regular Expressions for two-dimensional languages over one-letter alphabet. Theoretical Computer Science 340(2), 408–431 (2005)zbMATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Anselmo, M., Giammarresi, D., Madonia, M.: From determinism to non-determinism in recognizable two-dimensional languages. In: Proc. DLT 2007. LNCS, Springer, Heidelberg (to appear)Google Scholar
  3. 3.
    Anselmo, M., Giammarresi, D., Madonia, M.: Tiling Automaton: a Computational Model for Recognizable Two-dimensional Languages. In: Proc. CIAA 2007, LNCS Springer, Heidelberg (to appear)Google Scholar
  4. 4.
    Anselmo, M., Giammarresi, D., Madonia, M., Restivo, A.: Unambiguous Recognizable Two-dimensional Languages. RAIRO: Theoretical Informatics and Applications 40(2), 227–294 (2006)CrossRefMathSciNetGoogle Scholar
  5. 5.
    Anselmo, M., Madonia, M.: Deterministic Two-dimensional Languages over One-letter Alphabet. In: Proc. CAI 2007. LNCS, Springer, Heidelberg (to appear)Google Scholar
  6. 6.
    Blum, M., Hewitt, C.: Automata on a two-dimensional tape. In: IEEE Symposium on Switching and Automata Theory, pp. 155–160 (1967)Google Scholar
  7. 7.
    Borchert, B., Reinhardt, K.: Deterministically and Sudoku-Deterministically Recognizable Picture Languages: http://www-fs.informatik.uni-tuebingen.de/borchert/papers/Borchert-Reinhardt_2006_Sudoku.pdf
  8. 8.
    Bozapalidis, S., Grammatikopoulou, A.: Recognizable picture series, Journal of Automata, Languages and Combinatorics, special vol. Weighted Automata (2004)Google Scholar
  9. 9.
    Eilenberg, S.: Automata, Languages and Machines, vol. A. Academic Press, London (1974)zbMATHGoogle Scholar
  10. 10.
    Giammarresi, D., Restivo, A.: Recognizable picture languages. Int. Journal Pattern Recognition and Artificial Intelligence 6(2&3), 241–256 (1992)CrossRefGoogle Scholar
  11. 11.
    Giammarresi, D., Restivo, A.: Two-dimensional languages. In: Rozenberg, G., et al. (eds.) Handbook of Formal Languages, vol. III, pp. 215–268. Springer, Heidelberg (1997)Google Scholar
  12. 12.
    Giammarresi, D., Restivo, A., Seibert, S., Thomas, W.: Monadic second order logic over pictures and recognizability by tiling systems. Information and Computation 125, 32–45 (1996)zbMATHCrossRefMathSciNetGoogle Scholar
  13. 13.
    Inoue, K., Nakamura, A.: Some properties of two-dimensional on-line tessellation acceptors. Information Sciences 13, 95–121 (1977)CrossRefMathSciNetGoogle Scholar
  14. 14.
    Inoue, K., Takanami, I.: A characterization of recognizable picture languages. In: Nakamura, A., Saoudi, A., Inoue, K., Wang, P.S.P., Nivat, M. (eds.) ICPIA 1992. LNCS, vol. 654, Springer, Heidelberg (1992)Google Scholar
  15. 15.
    Lindgren, K., Moore, C., Nordahl, M.: Complexity of two-dimensional patterns. Journal of Statistical Physics 91(5-6), 909–951 (1998)zbMATHCrossRefMathSciNetGoogle Scholar
  16. 16.
    Matz, O.: Regular expressions and Context-free Grammars for picture languages. In: Reischuk, R., Morvan, M. (eds.) STACS 1997. LNCS, vol. 1200, pp. 283–294. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  17. 17.
    Matz, O.: On piecewise testable, starfree, and recognizable picture languages. In: Nivat, M. (ed.) Foundations of Software Science and Computation Structures, vol. 1378, Springer, Berlin (1998)CrossRefGoogle Scholar
  18. 18.
    Matz, O., Thomas, W.: The Monadic Quantifier Alternation Hierarchy over Graphs is Infinite. In: IEEE 1997. IEEE Symposium on Logic in Computer Science, LICS, pp. 236–244. IEEE Computer Society Press, Los Alamitos (1997)Google Scholar
  19. 19.
    Potthoff, A., Seibert, S., Thomas, W.: Nondeterminism versus determinism of finite automata over directed acyclic graphs. Bull. Belgian Math. Soc. 1, 285–298 (1994)zbMATHMathSciNetGoogle Scholar
  20. 20.
    Reinhardt, K.: On some recognizable picture-languages. In: Brim, L., Gruska, J., Zlatuška, J. (eds.) MFCS 1998. LNCS, vol. 1450, pp. 760–770. Springer, Heidelberg (1998)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Dora Giammarresi
    • 1
  1. 1.Dipartimento di Matematica. Università di Roma “Tor Vergata”, via della Ricerca Scientifica, 00133 RomaItaly

Personalised recommendations