Parallel communicating grammar systems with bounded resources

Erzsébet Csuhaj-Varjú, György Vaszil
2002 Theoretical Computer Science  
In this paper we study size properties of context-free returning parallel communicating grammar systems (PC grammar systems). We show that for each context-free returning PC grammar system an equivalent system of this type can be constructed, where the total number of symbols used for describing a component can be bounded by a reasonably small constant. Since context-free returning PC grammar systems determine the class of recursively enumerable languages, the result also demonstrates that the
more » ... ecursively enumerable language class can be economically described in terms of parallel communicating grammar systems.
doi:10.1016/s0304-3975(01)00172-4 fatcat:thyzvycgabgfrp2bks6f76cwse