English
Related papers

Related papers: Quasi-deterministic 5' -> 3' Watson-Crick Automata

200 papers

In this thesis we will work under the premises of the Cellular Automata Interpretation of QM, by Gerard 't Hooft, according to whom particles evolve following the rules of Cellular Automata (CA), a mathematical model consisting of discrete…

Quantum Physics · Physics 2021-01-05 Bianca Rizzo

We propose a new method, that we coined the ``morphism-trick'', to integrate custom implementations of vector-Jacobian products in automatic differentiation softwares, applicable to a wide range of semiring-based computations. Our approach…

Formal Languages and Automata Theory · Computer Science 2026-02-16 Lucas Ondel Yang , Tina Raissi , Martin Kocour , Pablo Riera , Caio Corro

Composition of weighted transducers is a fundamental algorithm used in many applications, including for computing complex edit-distances between automata, or string kernels in machine learning, or to combine different components of a speech…

Computational Complexity · Computer Science 2008-02-22 Cyril Allauzen , Mehryar Mohri

We study deterministic tree-walking-storage automata, which are finite-state devices equipped with a tree-like storage. These automata are generalized stack automata, where the linear stack storage is replaced by a non-linear tree-like…

Formal Languages and Automata Theory · Computer Science 2023-09-19 Martin Kutrib , Uwe Meyer

A nondeterministic automaton is semantically deterministic (SD) if different nondeterministic choices in the automaton lead to equivalent states. Semantic determinism is interesting as it is a natural relaxation of determinism, and as some…

Formal Languages and Automata Theory · Computer Science 2023-05-26 Bader Abu Radi , Orna Kupferman

We show that a flying particle, such as an electron or a photon, scattering along a one-dimensional waveguide from a pair of static spin-1/2 centers, such as quantum dots, can implement a CZ gate (universal for quantum computation) between…

Quantum Physics · Physics 2012-05-28 F. Ciccarello , D. E. Browne , L. C. Kwek , H. Schomerus , M. Zarcone , S. Bose

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

Quantum percolation describes the problem of a quantum particle moving through a disordered system. While certain similarities to classical percolation exist, the quantum case has additional complexity due to the possibility of Anderson…

Quantum Physics · Physics 2014-10-03 C. M. Chandrashekar , Th. Busch

In a recent paper [arXiv:1506.06649 [nlin.CG]], we presented an example of a 3-state cellular automaton which exhibits behaviour analogous to degenerate hyperbolicity often observed in finite-dimensional dynamical systems. We also…

Cellular Automata and Lattice Gases · Physics 2017-04-04 Henryk Fukś , Joel Midgley-Volpato

The notion of ontological states is introduced here with reference to the Cellular Automaton Interpretation of Quantum Mechanics proposed by G.'t Hooft. A class of discrete deterministic "Hamiltonian" Cellular Automata is defined that has…

Quantum Physics · Physics 2018-01-31 Hans-Thomas Elze

The classification of states of matter and their corresponding phase transitions is a special kind of machine-learning task, where physical data allow for the analysis of new algorithms, which have not been considered in the general…

Strongly Correlated Electrons · Physics 2018-04-30 Ye-Hua Liu , Evert P. L. van Nieuwenburg

A deterministic finite automaton in which every non-empty set of states occurs as the image of the whole state set under the action of a suitable input word is called completely reachable. It was conjectured that in each completely…

Formal Languages and Automata Theory · Computer Science 2024-03-20 David Casas , Mikhail V. Volkov

The present paper introduces and studies an alternative concept of two-way finite automata called input-erasing two-way finite automata. Like the original model, these new automata can also move the reading head freely left or right on the…

Formal Languages and Automata Theory · Computer Science 2025-04-03 Alexander Meduna , Dominik Nejedlý , Zbyněk Křivka

We discuss periodic compactification and latticization of a 5-D U(1) theory with a Dirac fermion, yielding a 1+3 effective theory. We address subtleties in the lattice fermionic action,such as fermion doubling and the Wilson term. We…

High Energy Physics - Phenomenology · Physics 2009-11-07 Christopher T. Hill , Adam K. Leibovich

We exhibit the construction of a deterministic automaton that, given k > 0, recognizes the (regular) language of k-differentiable words. Our approach follows a scheme of Crochemore et al. based on minimal forbidden words. We extend this…

Discrete Mathematics · Computer Science 2015-03-18 Jean-Marc Fédou , Gabriele Fici

We characterize complete deterministic finite automata with two input letters in which every non-empty set of states occurs as the image of the whole state set under the action of a suitable input word. The characterization leads to a…

Formal Languages and Automata Theory · Computer Science 2022-08-23 David Casas , Mikhail V. Volkov

We present an efficient Angluin-style learning algorithm for weak deterministic B\"uchi automata (wDBAs). Different to ordinary deterministic B\"uchi and co-B\"uchi automata, wDBAs have a minimal normal form, and we show that we can learn…

Formal Languages and Automata Theory · Computer Science 2025-08-21 Mona Alluwayma , Yong Li , Sven Schewe , Qiyi Tang

Quantum convolutional neural networks (QCNNs) offer a promising architecture for near-term quantum machine learning by combining hierarchical feature extraction with modest parameter growth. However, any QCNN operating on classical data…

Quantum Physics · Physics 2025-12-16 Xingyun Feng

We investigate data-enriched models, like Petri nets with data, where executability of a transition is conditioned by a relation between data values involved. Decidability status of various decision problems in such models may depend on the…

Logic in Computer Science · Computer Science 2020-03-10 Sławomir Lasota , Radosław Piórkowski

It is known that 2-state binary and 3-state unary probabilistic finite automata and 2-state unary quantum finite automata recognize uncountably many languages with cutpoints. These results have been obtained by associating each recognized…

Formal Languages and Automata Theory · Computer Science 2023-06-22 Aleksejs Naumovs , Maksims Dimitrijevs , Abuzer Yakaryılmaz