可逆状态阵自动机理论-状态转移图的分析与综合

• 出 处: 中国计算机学会理论计算机科学91学术年会
• 发表日期: 1991年期
• 关键词: 状态转移图 动机理论 有限自动机 图形表达式 综合问题 状态映射矩阵 正交解 循环矩阵 矩阵模型 矩阵方程 函数矩阵 关系理论 输入 基础

该文利用有限自动机的布尔矩阵模型来研究状态转移图的分析与综合问题。首先建立布尔矩阵方程Ａ＃+[Ｋ]＃-[ｎｘｎ]Ｘ＃-[ｎｘ１]＝Ｘ＃-[ｎｘ１]的正交解理论和解与圈的关系理论，在此基础上得到了可逆布尔函数矩阵的图形表达式，进而得到可逆状态阵自动机、正交循环矩阵自动机在任一输入下的状态转移图的图形表达式；给出了以Ａ、Ａ＃+[ Ｋ]为状态映射矩阵的自动机的图形的关系；解决了任一圈图的综合问题。（ 本刊录）