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.
Latvian Quantum Finite State Automata for Unary Languages / C. Mereghetti, B. Palano, P. Raucci. - In: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE. - ISSN 2075-2180. - 388:(2023), pp. 63-78. (Intervento presentato al 13. convegno International Workshop on Non-Classical Models of Automata and Applications tenutosi a Famagusta nel 2023) [10.4204/EPTCS.388.8].
Latvian Quantum Finite State Automata for Unary Languages
C. MereghettiPrimo
;B. PalanoSecondo
;P. RaucciUltimo
2023
Abstract
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.File | Dimensione | Formato | |
---|---|---|---|
pubblicato.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Dimensione
524.3 kB
Formato
Adobe PDF
|
524.3 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.