Regularity of splicing languages
Discrete Applied Mathematics
Theoretical Computer Science - Special issue on universal machines and computations
Language theory and molecular genetics: generative mechanisms suggested by DNA recombination
Handbook of formal languages, vol. 2
Nine test tubes generate any RE language
Theoretical Computer Science - Special issue on universal machines and computations
DNA computing based on splicing: universality results
Theoretical Computer Science - Special issue on universal machines and computations
DNA Computing: Distributed Splicing Systems
Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht
About Time-Varying Distributed H Systems
DNA '00 Revised Papers from the 6th International Workshop on DNA-Based Computers: DNA Computing
A Universal Time-Varying Distributed H System of Degree 1
DNA 7 Revised Papers from the 7th International Workshop on DNA-Based Computers: DNA Computing
A boundary result on enhanced time-varying distributed H systems with parallel computations
Theoretical Computer Science
Time-Varying Distributed H Systems: An Overview
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
On Accepting Networks of Splicing Processors of Size 3
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
On small, reduced, and fast universal accepting networks of splicing processors
Theoretical Computer Science
Time-Varying Distributed H Systems: An Overview
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Turing computability and membrane computing
CMC'12 Proceedings of the 13th international conference on Membrane Computing
Hi-index | 0.00 |
A time-varying distributed H system (TVDH system) is a splicing system which has the following feature: at different moments one uses different sets of splicing rules (these sets are called components of TVDH system). The number of components is called the degree of the TVDH system. The passage from a component to another one is specified in a cycle. It was proved by the first two authors (2001) that TVDH systems of degree one generate all recursively enumerable languages. The proof was made by a sequential modelling of Turing machines. This solution is not a fully parallel one. A. P驴un (1999) presented a complete parallel solution for TVDH systems of degree four by modelling type-0 formal grammars. His result was improved by the first two authors by reducing the number of components of such TVDH systems down to three (2000). In this paper we improve the last result by reducing the number of components of such TVDH systems down to two. This question remains open for one component, i.e. is it possible to construct TVDH systems of degree one which completely uses the parallel nature of molecular computations based on splicing operations (say model type-0 formal grammars).