On 5'→3' Sensing Watson-Crick Finite Automata

摘要

In this paper we introduce a variation of Watson-Crick automata in which both heads read the doubled DNA strand form 5' to 3'. The sensing version of these automata recognize exactly the linear context-free languages. The deterministic version is not so powerful, but all fixed-rated linear (for instance even-linear) languages can be accepted by them. Relation to other variations of Watson-Crick automata and pushdown automata are presented. The full-reading version of sensing 5'→3' automata recognizes non context-free languages as well.