We design Latvian quantum finite state automata (LQFAs) recognizing unary regular languages with isolated cut point 1/2. 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 L 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 L exponentially depend on the size of the minimal deterministic finite state automaton for L. Moreover, the recognition of L tends to becoming deterministic as the number of the basis states employed in the length-discriminating sub-module grows.

Latvian Quantum Finite State Automata for Unary Languages / C. Mereghetti, B. Palano, P. Raucci. - In: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE. - ISSN 0129-0541. - (2024), pp. 1-37. [Epub ahead of print] [10.1142/s0129054124430032]

Latvian Quantum Finite State Automata for Unary Languages

C. Mereghetti
Primo
;
B. Palano
Secondo
;
P. Raucci
Ultimo
2024

Abstract

We design Latvian quantum finite state automata (LQFAs) recognizing unary regular languages with isolated cut point 1/2. 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 L 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 L exponentially depend on the size of the minimal deterministic finite state automaton for L. Moreover, the recognition of L tends to becoming deterministic as the number of the basis states employed in the length-discriminating sub-module grows.
Descriptional complexity; quantum finite state automata; unary languages
Settore INFO-01/A - Informatica
2024
19-ott-2024
Article (author)
File in questo prodotto:
File Dimensione Formato  
pubblicato.pdf

accesso riservato

Descrizione: Original Article - Early Version
Tipologia: Publisher's version/PDF
Dimensione 683.98 kB
Formato Adobe PDF
683.98 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/1116293
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact