排序方式: 共有2条查询结果,搜索用时 0 毫秒
1
1.
2.
对幺半环上确定型有限状态自动机及其约简性进行定义,得出两个状态是否可分的判定方法,证明了幺半环上任意一个有限状态自动机都与一个约简的自动机等价,并给出了一个具体可行的算法,最后举例验证了这一结果. 相似文献
1