量子自动机的交换性.pdf

58 2016 ，52（20 ） Computer Engineering and Applications 计算机工程与应用 量子自动机的交换性 黄飞丹，邓泽喜 HUANG Feidan, DENG Zexi 贵州工程应用技术学院 理学院，贵州 毕节 551700 College of Science, Guizhou University of Engineering Science, Bijie, Guizhou 551700, China HUANG Feidan, DENG Zexi. Commutativity of quantum automata. Computer Engineering and Applications, 2016, 52 （20 ）：58-63. Abstract ：Commutativity of quantum automata and commutativity of generalized quantum automata are defined, also commutativity of the language of （generalized ）quantum automata is proposed. By using matrix and semigroup, several equivalent characterizations of commutativity of （generalized ）quantum automata are obtained. The relationships between commutativity of （generalized ）quantum automata and the language of （generalized ）quantum automata are studied, and a result is proved that the language of a commutative （generalized ）quantum automata is commutative. Moreover, commuta- tivity of general direct product, full direct product, restricted direct product, cascade product and wreath product of （genera- lized ）quantum automata are discussed, and several necessary and sufficient conditions of commutativity of some products of（generalized ）quantum automata are obtained. Key words ：quantum automata; generalized quantum automata; commutativity; language; product 摘 要：定义了量子自动机及广义量子自动机的交换性，并提出了（广义）量子自动机所识别语言的交换性。利用半 群及矩阵研究（广义）量子自动机的交换性，得出了（广义）量子自动机交换性的几个等价刻画。研究了（广义）量子 自动机的交换性与其所识别语言的交换性的关系，证明了交换的（广义）量子自动机所识别的语言也是交换的。此 外，讨论了（广义）量子自动机的广义直积、全直积、限制直积、级联积和圈积等积的交换性，得出了一些积的交换性 的充分条件和必要条件。 关键词：量子自动机；广义量子自动机；交换性；语言；直积 文献标志码：A 中图分类号：TP301.1 doi ：10.3778/j.issn. 1002-8331.1601-0205 1 引言 与（广义）量子有穷状态自动机是等价的。文献[10]定 量子自动机是量子计算机的数学模型，目前已经得 义了（广义）量子自动机的广义直积、全直积、限制直积、 [1- 11] 级联积和圈积，并研究了（广义）量子自动机的广义直 到了深入的研究 。量子自动机的种类很多，文献[7]对 各种类型的量子自动机的研究情况及其相互关系进行 积、全