In this paper we analyze several models of 1-way quantum finite automata, in the light of formal power series theory. In this general context, we recall two well known constructions, by proving: 1. Languages generated with isolated cut-point by a class of bounded rational formal series axe regular. 2. If a class of formal series is closed under f-complement, Hadamard product and convex linear combination, then the class of languages generated with isolated cut-point is closed under boolean operations. We introduce a general model of 1-way quantum automata and we compare their behaviors with those of measure-once, measure-many and reversible 1-way quantum automata.
Quantum computing: 1-way quantum automata / A. Bertoni, C. Mereghetti, B. Palano - In: Developments in Language Theory / [a cura di] Z. Esik, Z. Fulop. - Berlin : Springer, 2003. - ISBN 9783540404347. - pp. 1-20 (( Intervento presentato al 7. convegno International Conference on Developments in Language Theory tenutosi a Szeged nel 2003.
Quantum computing: 1-way quantum automata
A. BertoniPrimo
;C. MereghettiSecondo
;B. PalanoUltimo
2003
Abstract
In this paper we analyze several models of 1-way quantum finite automata, in the light of formal power series theory. In this general context, we recall two well known constructions, by proving: 1. Languages generated with isolated cut-point by a class of bounded rational formal series axe regular. 2. If a class of formal series is closed under f-complement, Hadamard product and convex linear combination, then the class of languages generated with isolated cut-point is closed under boolean operations. We introduce a general model of 1-way quantum automata and we compare their behaviors with those of measure-once, measure-many and reversible 1-way quantum automata.File | Dimensione | Formato | |
---|---|---|---|
pubblicato.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
294.25 kB
Formato
Adobe PDF
|
294.25 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.