IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Milano.
AIR nasce in UNIMI nel 2006 con lo scopo di raccogliere, documentare e conservare le informazioni sulla produzione scientifica dell'Università degli Studi di Milano e costituisce di fatto l'Anagrafe della ricerca dell'Ateneo.
EnglishIn this paper, we analyze a model of 1-way quantum automaton where only measurements are allowed ($\MON$-1qfa). The automaton works on a compatibility alphabet $(\Sigma, E)$ of observables and its probabilistic behavior is a formal series on the free partially commutative monoid $\FI(\Sigma, E)$ with idempotent generators. We prove some properties of this class of formal series and we apply the results to analyze the class $\LMO(\Sigma, E)$ of languages recognized by $\MON$-1qfa's with isolated cut point. In particular, we prove that $\LMO(\Sigma, E)$ is a boolean algebra of recognizable languages with finite variation, and that $\LMO(\Sigma, E)$ is properly contained in the recognizable languages, with the exception of the trivial case of complete commutativity.
| Titolo: | Trace monoids with idempotent generators and measure-only quantum automata |
| Autori: | MEREGHETTI, CARLO (Secondo) PALANO, BEATRICE SANTA (Ultimo) |
| Parole Chiave: | Free partially commutative monoids; Quantum automata |
| Settore Scientifico Disciplinare: | Settore INF/01 - Informatica |
| Data di pubblicazione: | 2010 |
| Rivista: | |
| Tipologia: | Article (author) |
| Digital Object Identifier (DOI): | 10.1007/s11047-009-9154-8 |
| Appare nelle tipologie: | 01 - Articolo su periodico |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| pubblicato.pdf | Publisher's version/PDF | Administrator Richiedi una copia |
http://hdl.handle.net/2434/147854
Copyright © 2020