6 research outputs found
On the power of parallel communicating WatsonâCrick automata systems
AbstractParallel communicating WatsonâCrick automata systems were introduced in [E. Czeizler, E. Czeizler, Parallel communicating WatsonâCrick automata systems, in: Z. Ăsik, Z. FĂŒlöp (Eds.), Proc. Automata and Formal Languages, DobogĂłkĆ, Hungary, 2005, pp. 83â96] as possible models of DNA computations. This combination of WatsonâCrick automata and parallel communicating systems comes as a natural extension due to the new developments in DNA manipulation techniques. It is already known, see [D. Kuske, P. Weigel, The Role of the Complementarity Relation in WatsonâCrick Automata and Sticker Systems, DLT 2004, Lecture Notes in Computer Science, Vol. 3340, Auckland, New Zealand, 2004, pp. 272â283], that for WatsonâCrick finite automata, the complementarity relation plays no active role. However, this is not the case when considering parallel communicating WatsonâCrick automata systems. In this paper we prove that non-injective complementarity relations increase the accepting power of these systems. We also prove that although WatsonâCrick automata are equivalent to two-head finite automata, this equivalence is not preserved when comparing parallel communicating WatsonâCrick automata systems and multi-head finite automata