Abstract

One-way quantum finite automata are reversible in nature, which greatly reduces its accepting property. In fact, the set of languages accepted by one-way quantum finite automata is a proper subset of regular languages. In this paper, we replace the tape head of one-way quantum finite automata with DNA double strand and name the model Watson–Crick quantum finite automata. The non-injective complementarity relation of Watson–Crick automata introduces non-determinism in the quantum model. We show that this introduction of non-determinism increases the computational power of one-way quantum finite automata significantly. Watson–Crick quantum finite automata can accept all regular languages and also accepts some languages which are not accepted by any multi-head deterministic finite automata. Exploiting the superposition property of quantum finite automata, we show that Watson–Crick quantum finite automata accept the language L = {ww|w ∈ {a, b}*}.

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.