Algebraic Characterization of the Class of Languages recognized by Measure Only Quantum Automata
Abstract
We study a model of one-way quantum automaton where only measurement operations are allowed (MOn-1qfa). We give an algebraic characterization of LMO, showing that the syntactic monoids of the languages in LMO are exactly the literal pseudovariety of J-trivial literally idempotent monoids, where J is the Green's relation determined by two-sided ideals. We also prove that LMO coincides with the literal variety of literally idempotent piecewise testable regular languages. This allows us to prove the existence of a polynomial time algorithm for deciding whether a regular language belongs to LMO.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2012
- DOI:
- 10.48550/arXiv.1206.1702
- arXiv:
- arXiv:1206.1702
- Bibcode:
- 2012arXiv1206.1702C
- Keywords:
-
- Computer Science - Formal Languages and Automata Theory