Latvian Quantum Finite State Automata for Unary Languages
We design Latvian quantum finite state automata (lqfas) recognizing unary regular languages with isolated cut point [Formula: see text]. From an architectural viewpoint, we suitably combine two lqfas recognizing with isolated cut point, respectively, the finite part and the ultimately periodic part any given unary regular language [Formula: see text] consists of. In particular, both these lqfas incorporate a sub-module discriminating strings on the basis of their length. Both the number of basis states and the isolation around the cut point of the resulting lqfa for [Formula: see text] exponentially depend on the size of the minimal deterministic finite state automaton for [Formula: see text]. Moreover, the recognition of [Formula: see text] tends to becoming deterministic as the number of the basis states employed in the length-discriminating sub-module grows.
Authors
- Beatrice Palano (ORCID: https://orcid.org/0000-0003-3948-4658)
- Carlo Mereghetti (ORCID: https://orcid.org/0000-0002-7778-7257)
- Priscilla Raucci (ORCID: https://orcid.org/0009-0005-5491-3408)
Institutions
- University of Milan (IT)
Publication Details
- Journal
- International Journal of Foundations of Computer Science
- Published
- 2024-10-19
- DOI
- https://doi.org/10.1142/s0129054124430032
- Primary Topic
- Quantum Computing Algorithms and Architecture
- Type
- article
- Field-Weighted Citation Impact
- 0.00