机构名称：
¥ 1.0
然后，此语法具有与 IMP 非常相似的操作语义，不同之处在于量子位由 Unitary 规则（表示 unitary 演化）修改。这样，我们就可以模拟量子位无法被简单克隆的事实。另一方面，稳定器被视为普通变量，假设真实的量子电路可以使用任意预先设计的 unitary 门。因此，稳定器被赋予了分配规则。最后，为了模拟纠错结果和从量子系统中获取经典信息的测量要求，if 和 while 命令被修改为在其评估中同时包含稳定和测量。
CS 345H：QEC 形式验证
主要关键词
相关文件推荐
