有限布尔代数上的线性自动机

• 作者: 蔡自兴 高平安
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 布尔函数矩阵 线性有限内动机 森林 恰等叉支树
• 年，卷（期）: 2006,（10）
• 所属期刊栏目: 博士论坛
• 页码范围: 25-27,125
• 页数: 4页
• 分类号: TP301
• 字数: 2984字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2006.10.008

摘要

自动机理论是计算机科学理论的重要组成部分.论文研究了布尔代数上的线性自动机,证明了任意一个线性有限自动机是函数布尔代数上的一个内动机.定出了有限布尔代数上的一类可逆线性内动机,给出并证明了有限布尔代数上内动机图型为下向森林的充分必要条件,给出了树型内动机中每一层节点数的计算公式,进而证明了有限布尔代数上的非可逆内动机图型为恰等叉支下向树的充分必要条件.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蔡自兴	中南大学信息科学与工程学院	393	7036	40.0	69.0
2	高平安	中南大学信息科学与工程学院	11	46	5.0	6.0