Content deleted Content added
→Measure-once automata: Disambiguated transition matrices |
Spacing in inline math expression |
||
Line 33:
:<math>|\psi^\prime\rangle = U_\alpha |\psi\rangle</math>
Thus, the triple <math>(\mathbb {C}P^N,\Sigma,\{U_\alpha\;\vert\;\alpha\in\Sigma\})</math> form a [[quantum semiautomaton]].
The [[accept state]] of the automaton is given by an <math>N\times N</math> [[projection matrix]] <math>P</math>, so that, given a <math>N</math>-dimensional quantum state <math>|\psi\rangle</math>, the probability of <math>|\psi\rangle</math> being in the accept state is
| |||