CD grammar systems with competence based entry conditions in their cooperation protocols

In this paper we examine context-free cooperating distributed (CD) grammar systems where the cooperation protocol is based on the competence (capability) of the component grammars in rewriting. We study the power of a derivation mode where every component is allowed to start the generation only if it has a prescribed level of competence and it is allowed to finish the work if it is not competent anymore. The competence level of a component on a string is the number of different nonterminals in this word that can be rewritten by the production set of the grammar. We show that if the prescribed level of competence of the grammar to start the derivation is equal to k or is at least k, for some natural number k ≥ 2, then these CD grammar systems are as powerful as the ET0L systems with random context conditions. If this competence level is exactly one, or at least one, or it is at most k, where k ≥ 2, then the class of ET0L languages is determined by these constructions.

[1]  Gheorghe Paun,et al.  Grammar Systems: A Grammatical Approach to Distribution and Cooperation , 1995, ICALP.

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

[3]  Erzsébet Csuhaj-Varjú,et al.  On Competence in CD Grammar Systems , 2004, Developments in Language Theory.

[4]  Peter C. Chapin Formal languages I , 1973, CSC '73.

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

[6]  Erzsébet Csuhaj-Varjú,et al.  On Competence and Completeness in CD Grammar Systems , 1996, Acta Cybern..

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