69
правок
Изменения
Нет описания правки
== Определение ==
{{Определение
|definition=
'''Квантовый конечный автомат (ККА)''' (англ. ''Quantum finite automata'', ''QFA'') {{---}} квантовый аналог конечного это кортеж : <math>(Q,\Sigma, V, q_0, Q_a, Q_r)</math>, где* <tex>Q</tex> — множество состояний автомата. * <tex>\Sigma</tex> — алфавит, из букв которого могут состоять входные слова* <tex>V</tex> — функция перехода автомата* <tex>q_0</tex> — начальное состояние автомата* <tex>Q_a \subset Q</tex> — множество допускающих состояний* <tex>Q_r \subset Q</tex> — множество опровергающих состояний
}}
Квантовый конечный автомат это квантовый аналог конечного автомата.
Объединение квантовой механики с конечным автоматом и является Квантовым конечным автоматом. Кроме того, ККА является частным случаем ''Геометрического конечного автомата'' и ''Топологического конечного автомата''<ref>[https://en.wikipedia.org/wiki/Quantum_finite_automata#Geometric_generalizations Wikipedia {{---}} Geometric generalizations]</ref>.
