Mirrors and Memory in Quantum Automata

Piazza, Carla; Romanello, Riccardo

doi:10.1007/978-3-031-16336-4_18

Cited by 3 publications

(1 citation statement)

References 28 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Positive decidability results would carry on to all simulated types of QFAs. As a consequence, it would be interesting to study the possibility of simulating other types of QFAs (e.g., [20,22,[70][71][72]) within the framework of QFCs. Another investigation could aim at characterizing the recognition power of isolated cut point QFCs as a function of the control language.…”

Section: Research Outlooksmentioning

confidence: 99%

Unary Quantum Finite State Automata with Control Language

Mereghetti,

Palano,

Raucci

2024

Applied Sciences

View full text Add to dashboard Cite

We study quantum finite automata with control language (QFCs), a theoretical model for finite memory hybrid systems coupling a classical computational framework with a quantum component. We constructively show how to simulate measure-once, measure-many, reversible, and Latvian QFAs by QFCs, emphasizing the size cost of such simulations. Next, we prove the decidability of testing the periodicity of the stochastic events induced by a given QFC. Thanks to our QFA simulations, we can extend such a decidability result to measure-once, measure-many, reversible, and Latvian QFAs as well. Finally, we focus on comparing the size efficiency of quantum and classical finite state automata on unary regular language recognition. We show that unary regular languages can be recognized by isolated cut point QFCs for which the size is generally quadratically smaller than the size of equivalent DFAs.

show abstract