量子圖靈機
量子图灵机( QTM ) 或通用量子计算机是一种用于模拟量子计算机效应的抽象机器。它提供了一个简单的模型，可以捕捉量子计算的所有能力——也就是说，任何量子算法都可以正式表示为特定的量子图灵机。然而，计算等效量子电路是更常见的模型。 量子图灵机可以在基于转换矩阵的框架中与经典和概率图灵机相关联。也就是说，可以指定一个矩阵，其与表示经典或概率机器的矩阵的乘积提供了表示量子机器的量子概率矩阵。兰斯·福特诺（Lance Fortnow）展示过这…
标签：#圖靈機
共 2 篇文章
通用圖靈機
通用图灵机（，又称UTM或Machine U）是一种图灵机，由艾伦·图灵在1936年发明。这种多用途單機器（計算機器）模型可以「運行」任何任意（但well-formed）指令序列（稱為 "quintuples"）。這模型被一些人例如Davis (2000) 認為是「存儲程序電腦」的原點。存儲程序電腦一詞由约翰·冯·诺伊曼使用在他的《電子計算裝置》（"Electronic Computing Instrument"）。這種電腦現在使用冯·…