3622
правки
Изменения
м
→Многомерный квантовый конечный автомат
}}
'''Многомерный''' ККА был введен Attila Kondacs и John Watrous в 1997. Главное Его главное свойство {{---}} допускать нерегулярный язык <tex>L = \{a^mb^m\}</tex> за линейное время.
Принципы многомерного ККА очень схож с Одномерным, за исключением применение матрицы <tex>P</tex> после каждого итерации символа строки. Для формального определения понадобиться [[Гильбертовы пространства | гильбертово пространство]]. Пусть у нас есть гильбертово пространство <math>\mathcal{H}_Q</math> :
