aqora

Quantum Finite Automata and Logics

Ilze Dzelme-Bērziņa

Lecture notes in computer scienceJan 1, 20064 citations

Quantum finite automata using quantum logic

Jismy Joseph, K. S. Dersanambika

Malaya Journal of MatematikJan 31, 20191 citation

Mathematical logic and quantum finite state automata

Ilze Dzelme-Bērziņa

Theoretical Computer ScienceMar 1, 20096 citations

Finite automata based on quantum logic and monadic second-order quantum logic

Yongming Li

Science China Information SciencesJan 1, 201015 citations

Quantum Finite Automata and Linear Context-Free Languages: A Decidable Problem

Alberto Bertoni, Christian Choffrut, Flavio D’Alessandro

arXiv:1303.2967Lecture notes in computer scienceJan 1, 20134 citations

Chu spaces: automata with quantum aspects

Vaughan Pratt

Chu spaces are a model of concurrent computation extending automata theory to express branching time and true concurrency. They exhibit in a primitive form the quantum mechanical phenomena of complementarity and uncertainty. The complementarity arises as the duality of information and time, automata and schedules, and states and events. Uncertainty arises when we define a measurement to be a morphism and notice that increasing structure in the observed object reduces clarity of observation. For a Chu space this uncertainty can be calculated numerically in an attractively simple way directly from its form factor to yield the usual Heisenberg uncertainty relation. Chu spaces correspond to wavefunctions as vectors of Hilbert space, whose inner product operation is realized for Chu spaces as right residuation and whose quantum logic becomes Girard's linear logic.>Chu spaces are a model of concurrent computation extending automata theory to express branching time and true concurrency. They exhibit in a primitive form the quantum mechanical phenomena of complementarity and uncertainty. The complementarity arises as the duality of information and time, automata and schedules, and states and events. Uncertainty arises when we define a measurement to be a morphism and notice that increasing structure in the observed object reduces clarity of observation. For a Chu space this uncertainty can be calculated numerically in an attractively simple way directly from its form factor to yield the usual Heisenberg uncertainty relation. Chu spaces correspond to wavefunctions as vectors of Hilbert space, whose inner product operation is realized for Chu spaces as right residuation and whose quantum logic becomes Girard's linear logic.>

Workshop on Physics and Computation (PhysComp)Dec 17, 200215 citations

On Relation Between Linear Temporal Logic and Quantum Finite Automata

Related papers

On Relation Between Linear Temporal Logic and Quantum Finite Automata

Related papers