Cтраница 1
Верхняя оценка сложности квантового автомата, распознающего Lp ( теорема 5) показывает, что оценка теоремы 6 является почти точной. [1]
Более того, определенная модель квантового автомата может представлять не любой регулярный язык. При этом квантовые автоматы при распознавании некоторых престановчных регулярных языков могут быть экономнее классических автоматов. [2]
Может быть, для лучшего понимания этого явления [ репликации ДНК ] нам нужна математическая теория квантовых автоматов. [3]
Первую трудность, которую мы должны преодолеть - выбор правильного баланса между математическими и физическими принципами. Квантовый автомат должен быть абстрактным: его математическая модель должна использовать только общие принципы квантовой физики, без описания физической реализации. Тогда модель эволюции - унитарное вращение в конечномерном гильбертовом пространстве, а разложение системы на ее виртуальные части соответствует тензорному произведению пространства состояний. Где-то в этой картине мы должны разместить взаимодействие, которое описано матрицами плотности и вероятностями. [4]
Более того, определенная модель квантового автомата может представлять не любой регулярный язык. При этом квантовые автоматы при распознавании некоторых престановчных регулярных языков могут быть экономнее классических автоматов. [5]