Context-sensitivity of puzzle grammars

  • P. Laroche
  • M. Nivat
  • A. Saoudi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 654)


We study some properties of axray grammars, called puzzle grammars, introduced in [NS89].We give a new method, using puzzle grammar, for generating the set of rectangles. We prove the the emptiness problem for puzzle grammar is undecidable. We show that the non-overlapping problem for puzzle grammar is decidable.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Be 91]
    Danielle Beauquier, An undecidable problem about rationnal sets and contour words of polyominoes, Inf. Process. Letters. Vol 37 n 5 (March 1991), 257–263.Google Scholar
  2. [BN 85]
    D. Beauquier, M. Nivat, About rationnal subset of algebras of infinite words, in Automata, Languages and programming (W. Brauer ed.), LNCS, u 192, Springer-Verlag, Berlin (1985) 33–42.Google Scholar
  3. [CW 78]
    C.R. Cook and P.S.P. Wang, Chomsky hierarchy of isotonic array grammars and languages, Computer Graphics and Image Proccesing 8(1978) 144–152.Google Scholar
  4. [IS 91]
    K. Inoue, I. Sakuramoto, M. Sakamoto and I. Takanami, Two Topics concerning Two-dimensionnal Automata Operating in Parallel, Proc. of the First Int. Conf. on Parallel Image Processing, (1991) 231–262.Google Scholar
  5. [MYS 83]
    K. Morita, Y. Yamamoto and K. Sugata, The Complexity of some Decision Problems about Array Grammars, Inf. Sciences, 30 (1983)241–262.Google Scholar
  6. [NSSSD 92]
    M.Nivat, A. Saoudi, K.G. Subramanian, R. Siromoney and V.R. Dare, Puzzle Grammars and Context-Free Array Grammars, Int. J. of Pattern Recognition and Art. Int., vol 5, n 5 (1992) 663–675.Google Scholar
  7. [NS 89]
    M. Nivat, A. Saoudi, Notes on Puzzle Grammars, unpublished (1989).Google Scholar
  8. [NS 91]
    M. Nivat, A. Saoudi,Parallel Recognition of High Dimensionnal Images, Proc. of the First Int. Conf. on Parallel Image Processing, (1991) 123–130.Google Scholar
  9. [RS 91]
    W.Rytter, A. Saoudi,Pn parallel Recognition of Two Classes of 2D-Array Patterns, Proc. of the First Int. Conf. on Parallel Image Processing, (1991) 153–160.Google Scholar
  10. [Ro 71]
    A. Rosenfeld, Isotonic Grammars, Parallel Grammars and Picture Languages, in Machine Intelligence (B. Meltzer and D. Michie, Eds), Univ. of Edinburgh Press (1971)Google Scholar
  11. [Ro 73]
    A. Rosenfeld, Array Grammars normal forms, Informations and Control 23(1973)173–182Google Scholar
  12. [Ro 79]
    A. Rosenfeld, Picture languages: formal models for picture recognition, Academic Press 1979.Google Scholar
  13. [YMS 89]
    Y. Yamamoto, K.Morita and K. Sutaga, Context-sensitivity of two-dimentionnal regular array grammars, Int. J. of Pattern Recognition and Art. Int. vol. 3&4 (1989)295–320.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • P. Laroche
    • 1
  • M. Nivat
    • 1
  • A. Saoudi
    • 2
  1. 1.Université Paris VII L.I.T.P.Paris Cedex 05France
  2. 2.Institut GaliléeUniversité Paris XIII L.I.P.N.VilletaneuseFrance

Personalised recommendations