Latvian Quantum Finite State Automata for Unary Languages

Carlo Mereghetti
(University of Milan, Dept. Comp. Sci.)
Beatrice Palano
(University of Milan, Dept. Comp. Sci.)
Priscilla Raucci
(University of Milan, Dept. Comp. Sci.)

We design Latvian quantum finite state automata (LQFAs for short) recognizing unary regular languages with isolated cut point 1/2. From an architectural point of view, we combine two LQFAs recognizing with isolated cut point, respectively, the finite part and the ultimately periodic part of any given unary regular language L. In both modules, we use a component addressed in the literature and here suitably adapted to the unary case, to discriminate strings on the basis of their length. The number of basis states and the isolation around the cut point of the resulting LQFA for L exponentially depends on the size of the minimal deterministic finite state automaton for L.

In Benedek Nagy and Rudolf Freund: Proceedings of the 13th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2023), Famagusta, North Cyprus, 18th-19th September, 2023, Electronic Proceedings in Theoretical Computer Science 388, pp. 63–78.
Published: 15th September 2023.

ArXived at: https://dx.doi.org/10.4204/EPTCS.388.8 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org