查看“︁量子有限自動機”︁的源代码

{{Unreferenced|time=2023-12-11T08:21:54+00:00}}
{{DISPLAYTITLE:量子有限自动机}}

在量子计算，'''量子有限自动机''' ('''QFA''') or '''量子状态机''' 是 概率自动机 或 马尔可夫决策过程的量子模拟.。它们提供了现实世界 量子计算机的数学抽象。可以定义几种类型的自动机，包括''一次测量''和''多次测量''自动机。量子有限自动机也可以理解为 有限类型子位移的量子化, 或 马尔可夫链的量子化。反过来，QFA是几何有限自动机或'''拓扑有限自动机'''的特例。

自动机通过接收有限长度的 字符串来工作 <math>\sigma=(\sigma_0,\sigma_1,\cdots,\sigma_k)</math> 信件数量 <math>\sigma_i</math> 来自有限 字母表 <math>\Sigma</math>, a并为每个这样的字符串分配一个 概率 <math>\operatorname{Pr}(\sigma)</math> 表示自动机处于 接受状态; 的概率。也就是说，指示自动机是接受还是拒绝字符串。

QFA所接受的语言不是确定性有限自动机的常规语言，也不是概率有限自动机的随机语言。对这些'''量子语言'''的研究仍然是一个活跃的研究领域。{{quantum computing}}