A boundary result on enhanced time-varying distributed H systems with parallel computations

Enhanced time-varying distributed H systems (ETVDH systems) are a variant of time-varying distributed H systems (TVDH systems), which is a well-known theoretical model of DNA computing based on splicing. We show that ETVDH systems with 2 components, i.e., having two sets of rules which act periodically, may generate all recursively enumerable languages by simulating type-0 grammars. We also present a new approach to control the computations that can be used in other models of DNA computing based on splicing.