On the size of computationally complete hybrid networks of evolutionary processors

A hybrid network of evolutionary processors (an HNEP) is a graph where each node is associated with an evolutionary processor (a special rewriting system), a set of words, an input filter and an output filter. Every evolutionary processor is given with a finite set of one type of point mutations (an insertion, a deletion or a substitution of a symbol) which can be applied to certain positions of a string over the domain of the set of these rewriting rules. The HNEP functions by rewriting the words that can be found at the nodes and then re-distributing the resulting strings according to a communication protocol based on a filtering mechanism. The filters are defined by certain variants of random-context conditions. HNEPs can be considered as both language generating devices (GHNEPs) and language accepting devices (AHNEPs). In this paper, by improving the previous results, we prove that any recursively enumerable language can be determined by a GHNEP and an AHNEP with 7 nodes. We also show that the families of GHNEPs and AHNEPs with 2 nodes are not computationally complete.

[1]  Victor Mitrana,et al.  All NP-problems can be solved in polynomial time by accepting hybrid networks of evolutionary processors of constant size , 2007, Inf. Process. Lett..

[2]  Yuri V. Matiyasevich,et al.  Decision problems for semi-Thue systems with a few rules , 2005, Theor. Comput. Sci..

[3]  Artiom Alhazov,et al.  On the number of nodes in universal networks of evolutionary processors , 2006, Acta Informatica.

[4]  Bianca Truthe,et al.  On the Power of Networks of Evolutionary Processors , 2007, MCU.

[5]  Victor Mitrana,et al.  Solving NP-Complete Problems With Networks of Evolutionary Processors , 2001, IWANN.

[6]  Victor Mitrana,et al.  On the size complexity of hybrid networks of evolutionary processors , 2005, Theor. Comput. Sci..

[7]  Manfred Kudlek,et al.  Small Universal Circular Post Machines , 2001, Comput. Sci. J. Moldova.

[8]  Artiom Alhazov,et al.  Computational Completeness of Hybrid Networks of Evolutionary Processors with Seven Nodes , 2008, DCFS.

[9]  Artiom Alhazov,et al.  Networks of Evolutionary Processors with Two Nodes Are Unpredictable , 2007, LATA.

[10]  Artiom Alhazov,et al.  Nine Universal Circular Post Machines , 2002, Comput. Sci. J. Moldova.

[11]  Victor Mitrana,et al.  Hybrid networks of evolutionary processors are computationally complete , 2004, Acta Informatica.

[12]  Artiom Alhazov,et al.  About Universal Hybrid Networks of Evolutionary Processors of Small Size , 2008, LATA.

[13]  Victor Mitrana,et al.  Hybrid Networks of Evolutionary Processors , 2003, GECCO.

[14]  Victor Mitrana,et al.  On the size complexity of universal accepting hybrid networks of evolutionary processors , 2007, Mathematical Structures in Computer Science.

[15]  Victor Mitrana,et al.  Accepting Hybrid Networks of Evolutionary Processors , 2004, DNA.

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

[17]  Manfred Kudlek,et al.  New Small Universal Circular Post Machines , 2001, FCT.