量子有限自动机:等价性和最小化:equivalence and minimization

本书特色

[

量子计算是计算机科学与量子力学交叉产生的新 兴学科,经过30多年的发展,在理论和实验方面都已 经取得了长足的进展。本书从计算机科学领域自动机 理论的角度来考察量子计算,力图通过有限自动机这 个简单而重要的模型来探索量子计算与经典计算的一 些本质差异,认识量子计算的计算能力和局限性。

]

目录

1 绪论1.1 量子计算1.1.1 量子计算的影子—可逆计算1.1.2 量子图灵机与量子线路1.1.3 量子算法1.2 量子自动机1.2.1 概况1.2.2 量子有限自动机(QFA) 1.2.3 QFA的主要研究工作1.2.4 QFA和其他研究分支的联系1.3 等价性和 小化问题1.3.1 经典自动机情形1.3.2 量子自动机情形2 预备知识2.1 线性代数的相关概念与符号2.1.1 线性空间2.1.2 狄拉克符号2.1.3 矩阵的基本操作2.1.4 特殊矩阵2.1.5 矩阵的分解与范数2.2 量子力学基础2.2.1 量子比特2.2.2 量子力学基本假设2.2.3 密度算子2.2.4 量子运算的算子和表示2.3 经典自动机理论的相关概念与符号3 量子自动机模型3.1 测量一次的单向量子有限自动机3.2 测量多次的单向量子有限自动机3.3 带控制语言的单向量子有限自动机3.4 带经典态的单向量子有限自动机3.5 双向量子有限自动机3.6 带量子和经典态的双向有限自动机3.7 多字符量子有限自动机3.8 其他量子有限自动机3.9 量子时序机3.10 本章小结4 量子自动机的等价性判定4.1 准备知识4.1.1 双线性机及其等价性4.1.2 量子自动机的等价性定义4.2 量子时序机的等价性4.2.1 方法一4.2.2 多项式时间的等价性判定算法4.2.3 方法二4.3 测量一次的单向量子有限自动机的等价性4.4 带控制语言的单向量子有限自动机的等价性4.5 测量多次的单向量子有限自动机的等价性4.5.1 方法一4.5.2 方法二4.6 多字符量子有限自动机的等价性4.6.1 输入字母表只含一个字符4.6.2 输入字母表为一般情况4.7 本章小结5 一般单向量子有限自动机5.1 测量一次的一般单向量子有限自动机5.1.1 闭包属性5.1.2 语言识别能力5.1.3 等价性问题5.2 测量多次的一般单向量子有限自动机5.2.1 预处理5.2.2 语言识别能力5.2.3 等价性问题5.3 本章小结6 量子自动机的 小化6.1 小化的主要思想6.2 概率有限自动机的 小化6.3 测量一次的单向量子有限自动机的 小化6.4 测量多次的单向量子有限自动机的 小化6.5 一般单向量子有限自动机的 小化6.5.1 预备知识6.5.2 小化问题6.6 本章小结参考文献索引

封面

量子有限自动机:等价性和最小化:equivalence and minimization

书名:量子有限自动机:等价性和最小化:equivalence and minimization

作者:李绿周,邱道文著

页数:134页

定价:¥56.0

出版社:浙江大学出版社

出版日期:2019-06-01

ISBN:9787308151993

PDF电子书大小:90MB 高清扫描完整版

百度云下载:http://www.chendianrong.com/pdf

发表评论

邮箱地址不会被公开。 必填项已用*标注