论文研究 广义量子Loop程序初探.pdf

在经典计算中，Loop程序是非常重要的程序。对量子计算中Loop程序进行研究非常必要。定义了体为量子运算的广义量子Loop程序，给出了量子Loop程序在输入态上终止，几乎终止以及不终止的定义基于任意的初始态。并证明了量子Loop程序在给定输入态上终止的充要条件以及程序终止的充要条件。作为应用，验证了体为酉运算的量子Loop程序嵌套是一个广义的量子Loop程序。