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