状态机变换半群的可分性 |
| |
引用本文: | 吴宗显,姚廷富,汪天友.状态机变换半群的可分性[J].贵阳金筑大学学报,2015(2):22-25. |
| |
作者姓名: | 吴宗显 姚廷富 汪天友 |
| |
作者单位: | 贵阳学院数学与信息科学学院 |
| |
基金项目: | 贵州省科学技术基金项目:“模糊树自动机的研究及应用”(项目编号:黔科合J字LKG[2013]30号2013-2016)阶段性成果;贵阳学院数信学院重点课程项目“高等代数与解析几何”;贵阳学院教学团队建设项目(数学建模教学团队、应用数学教学团队)资助 |
| |
摘 要: | 在状态机的讨论中,覆盖问题和分解问题是讨论的主要方面。对于一个比较复杂的状态机要想找到的它的覆盖和分解一般是比较困难的,如果一个复杂的状态机具有可分性,我们就可以把它分成若干简单的状态机,从而解决它的覆盖和分解问题。本文主要讨论状态机变换半群的可分性,而状态机变换半群的可分性与它对应的状态机的可分性是一致的,从而解决状态机的可分性问题。
|
关 键 词: | 状态机 状态机变换半群 循环变换半群 可分性 |
本文献已被 CNKI 等数据库收录! |
|