两种类型自动机乘积.pdfVIP

两种类型的自动机的乘积哗躺 运筹学与控制论 研究生：林敏 指导教师：莫智文 摘要：本文主要研究基于unsharp量子逻辑的自动机乘积和基于正交模格值自动 机的直积．具体包括以下内容：其一，在格上的矩阵理论基础上，利用一般矩阵 的直积，定义了格上的矩阵的直积．基于正交模格值自动机转移矩阵，引入正交 模格值自动机的覆盖概念．利用格上的矩阵的直积，给出了基于正交模格值自 动机的新的乘积．讨论了正交模格值自动机在级联积直积情形下的转移矩阵性 质，乘积间的覆盖关系．其二，给出了基于unsharp量子逻辑自动机乘积的几种 形式，即全直积、广义直积、圈积、级联积，还给出了基于unsharp量子逻辑自 动机的覆盖定义．同时研究了unsharp量子逻辑乘积自动机所识别的语言． 关键词：直积；覆盖：格上的矩阵；乘积 四川师范大学硕士学位论文 II Abstract TheProductofTwo Researchand Operational Cybernetics Min Zhi-wen Postgraduate：LinSupervisor：Mo Abstract：Thisarticle studiestheautomatonbasedon mainly product unsharpquantum article andkroneckerbasedon modularlatticeautomata．This logic product orthogonal includesthe thecaseoftheframeworkofmatrix followingcontents：first，in theory, basedonthe matrixkronecker kroneckeroflatticematrixis general product，the product of lattice cover defined．Basedonthetransfermatrix modular orthogonal automaton，the is oflatticematrixKronecker new of studied．Bytakingadvantage product，aproduct modularlatticeautomataare alsotalksabout orthogonal given．Thischapter properties ofthetransfermatrixof modularlatticeautomatonasthecascade orthogonal product the relationsbetweenthedierect inthethird c