69
правок
Изменения
→Одномерный квантовый конечный автомат
=== Одномерный квантовый конечный автомат===
Авторы '''одномерного''' (англ. ''Measure-one'', ''1-way'') ККА {{---}} Cris Moore и James P. Crutchfield (2000). Главное свойство {{---}} допускать [[Регулярные языки: два определения и их эквивалентность | регулярный язык]].
В таком виде конечный автомат с <tex>N</tex> состояниями представляется в виде [[Кубит | кубита]] <math>|\psi\rangle</math> c <tex>N</tex> состояниями. Такой кубит :<texmath>|\psi\rangle \in CP^N</texmath> и . Такой кубит приносит в это пространство метрику <math>\Vert\cdot\Vert</math>.
Матрицы смежности остаются унитарными, а переход в новое сосояние по символу <tex>\alpha</tex> :
:<math>|\psi'\rangle = U_\alpha |\psi\rangle</math>.
