| 布尔状态映射矩阵的变化及应用 |
| |
| 引用本文： | 陈燕敏,邓培民,易忠. 布尔状态映射矩阵的变化及应用[J]. 计算机工程与应用, 2007, 43(4): 30-35,81 |
| |
| 作者姓名： | 陈燕敏 邓培民 易忠 |
| |
| 作者单位： | 广西师范大学,数学科学学院,广西,桂林,541004;广西师范大学,数学科学学院,广西,桂林,541004;广西师范大学,数学科学学院,广西,桂林,541004 |
| |
| 基金项目： | 国家自然科学基金 , 广西自然科学基金 , 教育部高等学校优秀青年教师教学科研奖励计划 |
| |
| 摘 要： | 在有限自动机矩阵模型表示方法基础上,采用矩阵理论和布尔代数为工具,主要对布尔状态映射矩阵B(x)进行讨论。首先对它进行了变化,然后用它的变化式来判断有限自动机的状态有无前邻,有限自动机是否强连通,同时它们也提供一些构造子有限自动机和有效地划分布尔状态映射矩阵B(x)为标准型的新方法。
|
| 关 键 词： | 有限自动机 矩阵模型 布尔状态映射矩阵 前邻 强连通 |
| 文章编号： | 1002-8331（2007）04-0030-06 |
| 修稿时间： | 2006-09-01 |
Changes and applications of boolean-state-mapping matrix |
| |
| CHEN Yan-min,DENG Pei-min,YI Zhong. Changes and applications of boolean-state-mapping matrix[J]. Computer Engineering and Applications, 2007, 43(4): 30-35,81 |
| |
| Authors: | CHEN Yan-min DENG Pei-min YI Zhong |
| |
| Affiliation: | Mathematics Science College of Guangxi Normal University, Guilin, Guangxi 541004, China |
| |
| Abstract: | Based on the matrix model of a finite automata and with the tools of the Matrix theory and the Boolean algebra,this paper discusses mainly on the Boolean-state-mapping Matrix.Firstly we give a series of transformations to the Boolean-state-mapping matrix B(x).Secondly we make use of the transformations to judge whether the finite automata has the property of predecessor and whether the finite automata is strongly connected.And they also provide some new methods on how to construct a sub-automata and how to divide the Boolean-state-mapping matrix B(x) into the standard form effectively. |
| |
| Keywords: | finite automata matrix model boolean-state-mapping matrix predecessor strongly connected |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
