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

Institutions

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
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Latvian Quantum Finite State Automata for Unary Languages

Beatrice Palano, Carlo Mereghetti, Priscilla Raucci
International Journal of Foundations of Computer Science
Quantum Computing Algorithms and Architecture
article

Latvian Quantum Finite State Automata for Unary Languages

Beatrice Palano, Carlo Mereghetti, Priscilla Raucci
article en

Abstract

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.

International Journal of Foundations of Computer ScienceVol. 36(03)
University of Milan (IT)
Reduced inequalities
Openalex Percentile: Top 84%
Quantum Computing Algorithms and Architecture
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Latvian Quantum Finite State Automata for Unary Languages — Beatrice Palano, Carlo Mereghetti, et al. · International Journal of Foundations of Computer Science (2024) | TGRS Research Map | TGRS