两种范例的自动机的乘积.pdfVIP

两种类型的自动机的乘积哗躺 运筹学与控制论 研究生：林敏 指导教师：莫智文 摘要：本文主要研究基于unsharp量子逻辑的自动机乘积和基于正交模格值自动 机的直积．具体包括以下内容：其一，在格上的矩阵理论基础上，利用一般矩阵 的直积，定义了格上的矩阵的直积．基于正交模格值自动机转移矩阵，引入正交 模格值自动机的覆盖概念．利用格上的矩阵的直积，给出了基于正交模格值自 动机的新的乘积．讨论了正交模格值自动机在级联积直积情形下的转移矩阵性 质，乘积间的覆盖关系．其二，给出了基于unsharp量子逻辑自动机乘积的几种 形式，即全直积、广义直积、圈积、级联积，还给出了基于unsharp量子逻辑自 动机的覆盖定义．同时研究了unsharp量子逻辑乘积自动机所识别的语言． 关键词：直积；覆盖：格上的矩阵；乘积 四川师范大学硕士学位论文 II Abstract TheProductofTwo