The connection between measure once quantum finite automata (MO-QFA) and logic is studied in this paper. The language class recognized by MO-QFA is compared to languages described by the first order logics and modular logics. And the equivalence between languages accepted by MO-QFA and languages described by formulas using Lindström quantifier is shown. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Dzelme, I. (2006). Quantum finite automata and logics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3831 LNCS, pp. 246–253). https://doi.org/10.1007/11611257_22
Mendeley helps you to discover research relevant for your work.