On the Number of Components and Clusters of Non-returning Parallel Communicating Grammar Systems

  • Erzsébet Csuhaj-Varjú
  • György Vaszil
Conference paper

DOI: 10.1007/978-3-642-22600-7_10

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6808)
Cite this paper as:
Csuhaj-Varjú E., Vaszil G. (2011) On the Number of Components and Clusters of Non-returning Parallel Communicating Grammar Systems. In: Holzer M., Kutrib M., Pighizzini G. (eds) Descriptional Complexity of Formal Systems. DCFS 2011. Lecture Notes in Computer Science, vol 6808. Springer, Berlin, Heidelberg

Abstract

In this paper, we study the size complexity of non-returning parallel communicating grammar systems. First we consider the problem of determining the minimal number of components necessary to generate all recursively enumerable languages. We present a construction which improves the currently known best bounds of seven (with three predefined clusters) and six (in the non-clustered case) to five, in both cases (having four clusters in the clustered variant). We also show that in the case of unary languages four components are sufficient. Then, by defining systems with dynamical clusters, we investigate the minimal number of different query symbols necessary to obtain computational completeness. We prove that for this purpose three dynamical clusters (which means two different query symbols) are sufficient in general, which (although the number of components is higher) can also be interpreted as an improvement in the number of necessary clusters when compared to the case of predefined clusters.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Erzsébet Csuhaj-Varjú
    • 1
  • György Vaszil
    • 1
  1. 1.Computer and Automation Research InstituteHungarian Academy of SciencesBudapestHungary

Personalised recommendations