English
Related papers

Related papers: Watson-Crick Quantum Finite Automata

200 papers

Watson-Crick quantum finite automata were introduced by Ganguly et.al. by combining properties of DNA and Quantum automata. In this paper we introduce a multi-head version of the above automaton. We further show that the multi-head variant…

Formal Languages and Automata Theory · Computer Science 2020-05-21 Debayan Ganguly , Kingshuk Chatterjee , Kumar Sankar Ray

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…

Formal Languages and Automata Theory · Computer Science 2015-12-10 Kingshuk Chatterjee , Kumar Sankar Ray

Watson-Crick automata are finite automata working on double strands. Extensive research work has already been done on non-deterministic Watson-Crick automata and on deterministic Watson-Crick automata. In this paper, we introduce a new…

Formal Languages and Automata Theory · Computer Science 2015-12-10 Kingshuk Chatterjee , Kumar Sankar Ray

In this paper, we show the all final subclass of two-way Watson-Crick automata have the same computational power as the classical two-way Watson-Crick automata. Here we compare the computational power of two-way Watson-Crick automata and…

Formal Languages and Automata Theory · Computer Science 2020-05-18 Debayan Ganguly , Kingshuk Chatterjee , Kumar Sankar Ray

In this paper, we have introduced the deterministic variant of parallel communicating Watson-Crick automata systems. We show that similar to the non-deterministic version, the deterministic version can also recognise some non-regular…

Formal Languages and Automata Theory · Computer Science 2015-07-21 Kingshuk Chatterjee , Kumar Sankar Ray

1-way quantum finite state automata are reversible in nature, which greatly reduces its accepting property. In fact, the set of languages accepted by 1-way quantum finite automata is a proper subset of regular languages. We introduce 2-tape…

Formal Languages and Automata Theory · Computer Science 2016-07-05 Debayan Ganguly , Kumar Sankar Ray

In this paper, we introduce a new model of deterministic Watson-Crick automaton namely restricted deterministic Watson- Crick automaton which is a deterministic Watson-Crick automaton where the complementarity string in the lower strand is…

Formal Languages and Automata Theory · Computer Science 2016-02-19 Kingshuk Chatterjee , Kumar Sankar Ray

Watson-Crick (WK) finite automata are working on a Watson-Crick tape, that is, on a DNA molecule. A double stranded DNA molecule contains two strands, each having a 5' and a 3' end, and these two strands together form the molecule with the…

Formal Languages and Automata Theory · Computer Science 2022-09-01 Benedek Nagy

Watson-Crick (WK) finite automata work on a Watson-Crick tape representing a DNA molecule. They have two reading heads. In 5'->3' WK automata, the heads move and read the input in opposite physical directions. In this paper, we consider…

Formal Languages and Automata Theory · Computer Science 2024-09-12 Benedek Nagy

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…

Formal Languages and Automata Theory · Computer Science 2017-08-23 Benedek Nagy , Shaghayegh Parchami , Hamid Mir-Mohammad-Sadeghi

Reversible Watson-Crick automata introduced by Chatterjee et.al. is a reversible variant of an Watson-Crick automata. It has already been shown that the addition of DNA properties to reversible automata significantly increases the…

Formal Languages and Automata Theory · Computer Science 2020-05-21 Kingshuk Chatterjee , Debayan Ganguly , Kumar Sankar Ray

In 2006, Czeizler et.al. introduced parallel communicating Watson-Crick automata system. They showed that parallel communicating Watson-Crick automata system can accept the non-regular unary language L={a^(n^2 ),where n>1} using…

Formal Languages and Automata Theory · Computer Science 2015-10-08 Kingshuk Chatterjee , Kumar Sankar Ray

We realize constant-space quantum computation by measure-many two-way quantum finite automata and evaluate their language recognition power by analyzing patterns of their exotic behaviors and by exploring their structural properties. In…

Formal Languages and Automata Theory · Computer Science 2016-06-29 Tomoyuki Yamakami

The 2-way quantum finite automaton introduced by Kondacs and Watrous can accept non-regular languages with bounded error in polynomial time. If we restrict the head of the automaton to moving classically and to moving only in one direction,…

Quantum Physics · Physics 2007-05-23 Alex Brodsky , Nicholas Pippenger

The nondeterministic quantum finite automaton (NQFA) is the only known case where a one-way quantum finite automaton (QFA) model has been shown to be strictly superior in terms of language recognition power to its probabilistic counterpart.…

Computational Complexity · Computer Science 2014-01-29 Abuzer Yakaryilmaz , A. C. Cem Say

After the first treatments of quantum finite state automata by Moore and Crutchfield and by Kondacs and Watrous, a number of papers study the power of quantum finite state automata and their variants. This paper introduces a model of…

Computational Complexity · Computer Science 2007-05-23 Tomohiro Yamasaki , Hirotada Kobayashi , Hiroshi Imai

In this paper the notion of quantum finite one-counter automata (QF1CA) is introduced. Introduction of the notion is similar to that of the 2-way quantum finite state automata by A.Kondacs and J.Watrous. The well-formedness conditions for…

Quantum Physics · Physics 2007-05-23 Maksim Kravtsev

We introduce 2-way finite automata with quantum and classical states (2qcfa's). This is a variant on the 2-way quantum finite automata (2qfa) model which may be simpler to implement than unrestricted 2qfa's; the internal state of a 2qcfa…

Computational Complexity · Computer Science 2007-05-23 Andris Ambainis , John Watrous

In this paper, we discuss the computational power of parallel communicating finite automata system with 1-way reversible finite automaton as components. We show that unlike the multi-head one way reversible finite automata model (where we…

Formal Languages and Automata Theory · Computer Science 2019-03-26 Debayan Ganguly , Kingshuk Chatterjee , Kumar Sankar Ray

We show that there are quantum devices that accept all regular languages and that are exponentially more concise than deterministic finite automata (DFA). For this purpose, we introduce a new computing model of {\it one-way quantum finite…

Quantum Physics · Physics 2013-05-21 Daowen Qiu , Lvzhou Li , Paulo Mateus , Amilcar Sernadas
‹ Prev 1 2 3 10 Next ›