Transition Complexity of Incomplete DFAs

In this paper, we consider the transition complexity of regular languages based on the incomplete deterministic finite automata. A number of results on Boolean operations have been obtained. It is shown that the transition complexity results for union and complementation are very different from the state complexity results for the same operations. However, for intersection, the transition complexity result is similar to that of state complexity.Comment: In Proceedings DCFS 2010, arXiv:1008.127

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