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