量子有穷自动机相关硕士博士期刊学术论文 - 搜论网

量子有穷自动机相关论文

量子马尔可夫链安全性模型检测

本文定义了量子线性时间属性,包括量子安全性,量子不变性,讨论了它们的关系和性质.结合测量一次、测量多次的单向量子有穷自动机,......

期刊

量子马尔可夫链模型检测安全性量子有穷自动机广义量子loop程序 quantum Markov chain model checking safety

基于量子逻辑的几类有穷自动机之间的关系

根据初始状态和终止状态是否为分明的,非确定型量子有穷自动机可分为四类,确定型量子有穷自动机可分为三类.本文详细讨论了四类非......

期刊

量子有穷自动机状态集左等价右-γ等价右-γε等价

看过本文同时还关注