A New Sensing 5'-->3' Watson-Crick Automata Concept

TL;DR

This paper introduces a novel model of 5'->3' Watson-Crick automata that eliminates the need for a sensing parameter by redefining configurations, leading to new language class hierarchies and theoretical insights.

Contribution

It proposes a new sensing 5'->3' WK automaton model that simplifies head coordination without sensing parameters, altering accepted language classes.

Findings

Established hierarchy results for the new automaton variants.

Demonstrated differences in language classes compared to previous models.

Provided theoretical foundations for future research in DNA-inspired automata.

Abstract

Watson-Crick (WK) finite automata are working on a Watson-Crick tape, that is, on a DNA molecule. Therefore, it has two reading heads. While in traditional WK automata both heads read the whole input in the same physical direction, in 5'->3' WK automata the heads start from the two extremes and read the input in opposite direction. In sensing 5'->3' WK automata the process on the input is finished when the heads meet. Since the heads of a WK automaton may read longer strings in a transition, in previous models a so-called sensing parameter took care for the proper meeting of the heads (not allowing to read the same positions of the input in the last step). In this paper, a new model is investigated, which works without the sensing parameter (it is done by an appropriate change of the concept of configuration). Consequently, the accepted language classes of the variants are also changed. Various hierarchy results are proven in the paper.