69
правок
Изменения
→Многомерный квантовый конечный автомат
'''Многомерный''' ККА был введен Attila Kondacs и John Watrous в 1997. Его главное свойство, а и одномерный {{---}} допускать регулярный язык.
Принципы многомерного ККА очень схожи с одномерным, за исключением измерения вероятности после каждой итерации символа строки вместо измерения после полного ввода строчку строчки как у одномерного ККА. Для формального определения понадобится [[Гильбертовы пространства | гильбертово пространство]]. Пусть у нас есть гильбертово пространство <math>\mathcal{H}_Q</math> :
<math>\mathcal{H}_Q=\mathcal{H}_a \oplus \mathcal{H}_r \oplus \mathcal{H}_{non}</math> , где <math> \mathcal{H}_a </math> {{---}} допускающее пр-во , <math> \mathcal{H}_r </math> {{---}} отвергающее пр-во , <math> \mathcal{H}_{non} </math> {{---}} промежуточное пр-во. Для каждого пр-ва существует набор базисных ординальных векторов <tex>Q , Q_a \subset Q, Q_r \subset Q , Q_{non}\subset Q</tex> соответственно :
