On the power of permitting features in cooperating context-free array grammar systems

Among many grammar models for picture description, cooperating context-free distributed array grammar systems utilize the mechanism of cooperation between component array grammars. Here, we endow these grammar systems with the feature of permitting symbols, and examine the generative capacity of the resulting permitting cooperating context-free distributed array grammar systems with certain other kinds of isometric and non-isometric array grammars. An advantage is that the number of components is reduced when this permitting feature is used in a cooperating context-free distributed array grammar system.

[1]  Sigrid Ewert,et al.  Generating Pictures Using Random Forbidding Context , 1998, Int. J. Pattern Recognit. Artif. Intell..

[2]  Andries P. J. van der Walt.  Random Context Languages , 1971, IFIP Congress.

[3]  Rudolf Freund,et al.  Cooperating Array Grammar Systems , 1995, Int. J. Pattern Recognit. Artif. Intell..

[4]  K. G. Subramanian,et al.  Cooperating Basic Puzzle Grammar Systems , 2006, IWCIA.

[5]  Matteo Pradella,et al.  Picture Languages: From Wang Tiles to 2D Grammars , 2009, CAI.

[6]  Gheorghe Paun,et al.  Grammars with Controlled Derivations , 1997, Handbook of Formal Languages.

[7]  Sigrid Ewert,et al.  A shrinking lemma for random forbidding context languages , 2000, Theor. Comput. Sci..

[8]  Sigrid Ewert,et al.  A pumping lemma for random permitting context languages , 2002, Theor. Comput. Sci..

[9]  Azriel Rosenfeld.  Array Grammars , 1986, Graph-Grammars and Their Application to Computer Science.

[10]  Rudolf Freund.  Control Mechanisms on #-Context-Free Array Grammars , 1994, Mathematical Aspects of Natural and Formal Languages.

[11]  Sigrid Ewert.  Random Context Picture Grammars , 2012 .

[12]  Azriel Rosenfeld,et al.  Picture languages: Formal models for picture recognition , 1979 .

[13]  Rani Siromoney,et al.  Parallel/sequential rectangular arrays with tables , 1977 .

[14]  Erzsébet Csuhaj-Varjú,et al.  Cooperating distributed grammar systems with permitting grammars as components , 2009 .

[15]  K. G. Subramanian,et al.  Pure 2D picture grammars and languages , 2009, Discret. Appl. Math..

[16]  Gheorghe Paun,et al.  Regulated Rewriting in Formal Language Theory , 1989 .

[17]  Erzsébet Csuhaj-Varjú,et al.  On Cooperating/Distributed Grammar Systems , 1990, J. Inf. Process. Cybern..

[18]  Marcello M. Bersani,et al.  On Some Classes of 2D Languages and Their Relations , 2011, IWCIA.

[19]  Arto Salomaa,et al.  Formal languages , 1973, Computer science classics.

[20]  Rani Siromoney,et al.  Abstract families of matrices and picture languages , 1972, Comput. Graph. Image Process..

[21]  Antonio Restivo,et al.  Two-Dimensional Languages , 1997, Handbook of Formal Languages.

[22]  Tomás Masopust.  On the Terminating Derivation Mode in Cooperating Distributed Grammar Systems with Forbidding Components , 2009, Int. J. Found. Comput. Sci..

[23]  Gheorghe Paun,et al.  Grammar Systems , 1997, Handbook of Formal Languages.

[24]  Azriel Rosenfeld,et al.  Picture languages—a survey , 1993 .