Quantum finite automata using quantum logic

Jismy Joseph; K.S. Dersanambika

doi:10.26637/MJM0701/0002

Abstract

Two types of Quantum Finite Automata are, the Measure once quantum finite automata (MO-QFA) proposed by Moore and Crutchfield [ 5 ] and the Many measure one-way quantum finite automata(MM-QFA) proposed by Kondacs and Waltrous [ 2 ]. In both cases it is proved that the language accepted is a subset of regular language. In this paper we define a Quantum Finite Automata using quantum logic. The logic underlying Quantum mechanics is not a Boolean algebra. It is an orthomodular lattice. This logic is called quantum logic By
using this logic we study about various properties of QFA’s.

Keywords:

Quantum Logic, Orthomodular lattice, Quantum Finite Automata, Quantum Regular Language

Mathematics Subject Classification:

Mathematics

Authors Imprint References Funding Related Articles Downloads

Jismy Joseph Department of Mathematics, Carmel College, Mala, Thrissur-680732, Kerala, India. https://orcid.org/0000-0001-8132-0687
K.S. Dersanambika Department of Mathematics, Fatima Mata National College, Kollam-691001, Kerala , India.

Pages: 7-10
Date Published: 01-01-2019
Vol. 7 No. 01 (2019): Malaya Journal of Matematik (MJM)

G. Birkhoff, J. Von Neumann. The logic of quantum mechanics, Ann. of Math. 37(1936)823-843.

A.Kondacs and J.Watrous. On the power of quantum finite state automata. In Proceedings of the 38th Annual symposium on Foundations of Computer Science. Washington DC, USA:IEEE Computer Society, 1997.

M.S. Ying, Automata theory based on quantum logic, Inernational J. of theoretical physics, 39(2000)981-991.

D. Qiu,Notes on Automata theory based on quantum logic,Science in Cina series F: Information Science $50(2007) 154-169$.

C. Moore and J.P. Crutchfield. Quantum automata and quantum grammars. Theory of Computer Science. Vol.237, page. 275-306, April 2000.

Pavel PTAK and Vladimir ROGALEWICZ. Measures on Orthomodular Partially Ordered Sets. Journal of Pure and Applied Algebra 28(1983)75-80.

V.S.Varadarajan. Probability in Physics and a Theorem on Simultaneous Observability. Communications on pure and applied mathematics, vol.xv,189-217(1962)