English
Related papers

Related papers: Multi-head Watson-Crick quantum finite automata

200 papers

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

Following up on a paper of Balamohan, Kuznetsov, and Tanny, we analyze a variant of Hofstadter's Q-sequence and show it is 2-automatic. An automaton computing the sequence is explicitly given.

Number Theory · Mathematics 2011-06-14 J. -P. Allouche , J. Shallit

The prospect of large-scale quantum computation with an integrated chip of spin qubits is imminent as technology improves. This invites us to think beyond the traditional 2-qubit-gate framework and consider a naturally supported…

Quantum Physics · Physics 2025-11-06 Jiaan Qi , Zhi-Hai Liu , Hongqi Xu

By combining telecloning and programmable quantum gate array presented by Nielsen and Chuang [Phys.Rev.Lett. 79 :321(1997)], we propose a programmable quantum processor which can be programmed to implement restricted set of operations with…

Quantum Physics · Physics 2009-11-07 Yafei Yu , Jian Feng , Mingsheng Zhan

Quantum Machine Learning has the potential to improve traditional machine learning methods and overcome some of the main limitations imposed by the classical computing paradigm. However, the practical advantages of using quantum resources…

Quantum Physics · Physics 2023-03-21 Antonio Macaluso , Matthias Klusch , Stefano Lodi , Claudio Sartori

We prove that two-way probabilistic and quantum finite automata (2PFA's and 2QFA's) can be considerably more concise than both their one-way versions (1PFA's and 1QFA's), and two-way nondeterministic finite automata (2NFA's). For this…

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

As the rapidly evolving field of machine learning continues to produce incredibly useful tools and models, the potential for quantum computing to provide speed up for machine learning algorithms is becoming increasingly desirable. In…

Quantum Physics · Physics 2024-04-02 Anthony M. Smaldone , Gregory W. Kyro , Victor S. Batista

A discontinuous model of computation called one-way jumping finite automata was defined by H. Chigahara et. al. This model was a restricted version of the model jumping finite automata. One-way jumping finite automata change their states…

Formal Languages and Automata Theory · Computer Science 2021-06-09 Ujjwal Kumar Mishra , Kalpana Mahalingam , Rama Raghavan

In this paper we study a generalized model named one-way general quantum finite automata} (1gQFA), in which each symbol in the input alphabet induces a trace-preserving quantum operation, instead of a unitary transformation. Two different…

Quantum Physics · Physics 2010-10-26 Lvzhou Li , Daowen Qiu , Xiangfu Zou , Lvjun Li , Lihua Wu , Paulo Mateus

We examine different generalizations of checking stack automata by allowing multiple input heads and multiple stacks, and characterize their computing power in terms of two-way multi-head finite automata and space-bounded Turing machines.…

Formal Languages and Automata Theory · Computer Science 2022-12-05 Oscar H. Ibarra , Ian McQuillan

Machines are possible to have some artificial intelligence like human beings owing to particular algorithms or software. Such machines could learn knowledge from what people taught them and do works according to the knowledge. In practical…

Quantum Physics · Physics 2015-04-16 Li Zhaokai , Liu Xiaomei , Xu Nanyang , Du jiangfeng

In this paper we develop little further the theory of quantum finite automata (QFA). There are already few properties of QFA known, that deterministic and probabilistic finite automata do not have e.g. they cannot recognize all regular…

Quantum Physics · Physics 2007-05-23 Maris Valdats

The potential of the exact quantum information processing is an interesting, important and intriguing issue. For examples, it has been believed that quantum tools can provide significant, that is larger than polynomial, advantages in the…

Formal Languages and Automata Theory · Computer Science 2014-11-26 Jozef Gruska , Daowen Qiu , Shenggen Zheng

The two-way finite automaton with quantum and classical states (2QCFA), defined by Ambainis and Watrous, is a model of quantum computation whose quantum part is extremely limited; however, as they showed, 2QCFA are surprisingly powerful: a…

Computational Complexity · Computer Science 2020-04-29 Zachary Remscrim

We study 1-way quantum finite automata (QFAs) and compare them with their classical counterparts. We show that 1-way QFAs can be very space efficient. We construct a 1-way QFAs that are quadratically smaller than any equivalent…

Quantum Physics · Physics 2007-05-23 Arnolds Kikusts

{\it Two-way finite automata with quantum and classical states} (2QCFA) were introduced by Ambainis and Watrous, and {\it two-way two-tape deterministic finite automata} (2TFA) were introduced by Rabin and Scott. In this paper we study 2TFA…

Quantum Physics · Physics 2011-04-20 Shenggen Zheng , Lvzhou Li , Daowen Qiu

We argue that the analog nature of quantum computing makes the usual design approach of constructing complicated logical operations from many simple gates inappropriate. Instead, we propose to design multi-spin quantum gates in which the…

Quantum Physics · Physics 2014-11-18 Vladimir Privman , Dima Mozyrsky , Steven P. Hotaling

Deep learning has been shown to be able to recognize data patterns better than humans in specific circumstances or contexts. In parallel, quantum computing has demonstrated to be able to output complex wave functions with a few number of…

Quantum Physics · Physics 2021-08-05 Junhua Liu , Kwan Hui Lim , Kristin L. Wood , Wei Huang , Chu Guo , He-Liang Huang

Accurate, nontrivial quantum operations on many qubits are experimentally challenging. As opposed to the standard approach of compiling larger unitaries into sequences of 2-qubit gates, we propose a protocol on Hamiltonian control fields…

Quantum Physics · Physics 2019-12-02 Koen Groenland , Kareljan Schoutens

Quantitative automata model beyond-boolean aspects of systems: every execution is mapped to a real number by incorporating weighted transitions and value functions that generalize acceptance conditions of boolean $\omega$-automata. Despite…

Formal Languages and Automata Theory · Computer Science 2025-01-28 Marek Chalupa , Thomas A. Henzinger , Nicolas Mazzocchi , N. Ege Saraç