Some Decision Problems for Parallel Communicating Grammar Systems

Abstract In this paper we investigate several decision problems for parallel communicating grammar systems: the enabling, circularity, centralizing, conflict-freeness, boundedness, membership, equivalence, inclusion, emptiness and finiteness problems. The first five problems are shown to be decidable for context-free PCS's but undecidable for the context-sensitive case. The last five problems are only studied for the context-sensitive case and they are shown to be undecidable.

[1]  Robert Meersman,et al.  Cooperating Grammar Systems , 1978, MFCS.

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

[3]  Jarkko Kari.  Games played on the plane : Solitaire & Cellular Automata , 1993, Current Trends in Theoretical Computer Science.

[4]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[5]  Grzegorz Rozenberg,et al.  The mathematical theory of L systems , 1980 .

[6]  D. Koenig.  Theorie Der Endlichen Und Unendlichen Graphen , 1965 .

[7]  Lila Santean,et al.  Parallel Communicating Systems. , 1990 .

[8]  Richard M. Karp,et al.  Parallel Program Schemata , 1969, J. Comput. Syst. Sci..

[9]  M. Minsky.  Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing Machines , 1961 .

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

[11]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[12]  Ferucio Laurentiu Tiplea,et al.  A Coverability Structure for Parallel Communicating Grammar Systems , 1993, J. Inf. Process. Cybern..

[13]  Arto Salomaa,et al.  On the generative capacity of parallel communicating grammar systems , 1992 .

[14]  F. Ţiplea,et al.  Parallel communicating grammar systems: the context-sensitive case , 1993 .

[15]  Gheorghe Paun,et al.  Further remarks on parallel communicating grammar systems , 1990, Int. J. Comput. Math..

[16]  Jarkko Kari.  Games played on the plane: Solitaire and Cellular Automata , 1990, Bull. EATCS.

[17]  M. Hack,et al.  PETRI NET LANGUAGE , 1976 .

[18]  Cecilia M. Procopiuc,et al.  Bounded Communication in Parallel Communicating Grammar Systems , 1994, J. Inf. Process. Cybern..

[19]  Arto Salomaa,et al.  Systolic trellis automatat , 1984 .

[20]  Gheorghe Paun,et al.  Non-centralized parallel communicating grammar systems , 1990, Bull. EATCS.

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