第一种是Sanders和Zuliani在设计qGCL的时候提出的:通过观测(测量)步骤,将量子计算归约为概率计算,这样为概率程序开发的谓词转换语义就可以移植到量子程序中来。第二种是DHondt和Panangaden设计的,它将量子谓词定义为由特征值所属单位区间内的厄米算子所表示的物理可观测量。
版权声明:本文内容由阿里云实名注册用户自发贡献,版权归原作者所有,阿里云开发者社区不拥有其著作权,亦不承担相应法律责任。具体规则请查看《阿里云开发者社区用户服务协议》和《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容,填写侵权投诉表单进行举报,一经查实,本社区将立刻删除涉嫌侵权内容。