English

Multi-head Watson-Crick automata

Formal Languages and Automata Theory 2015-12-10 v2

Abstract

Inspired by multi-head finite automata and Watson-Crick automata in this paper, we introduce new structure namely multi-head Watson-Crick automata where we replace the single tape of multi-head finite automaton by a DNA double strand. The content of the second tape is determined using a complementarity relation similar to Watson-Crick complementarity relation. We establish the superiority of our model over multi-head finite automata and also show that both the deterministic and non-deterministic variant of the model can accept non-regular unary languages. We also compare our model with parallel communicating Watson-Crick automata systems and prove that both of them have the same computational power.

Keywords

Cite

@article{arxiv.1510.04016,
  title  = {Multi-head Watson-Crick automata},
  author = {Kingshuk Chatterjee and Kumar Sankar Ray},
  journal= {arXiv preprint arXiv:1510.04016},
  year   = {2015}
}

Comments

arXiv admin note: text overlap with arXiv:1507.05284, arXiv:1510.02070

R2 v1 2026-06-22T11:19:54.682Z