广西师范大学学报（自然科学版） ›› 2010, Vol. 28 ›› Issue (1): 27-30.

• • 上一篇    下一篇

有限识别器的状态等价及其性质

蒋茂坤, 邓培民, 易忠   

  1. 广西师范大学数学科学学院,广西桂林 541004
  • 收稿日期:2009-08-25 出版日期:2010-03-20 发布日期:2023-02-07
  • 通讯作者: 易忠(1961—),男,湖南长沙人,广西师范大学教授,博士。E-mail:zyi@mailbox.gxnu.edu.cn
  • 基金资助:
    国家自然科学基金资助项目(60473005);广西自然科学基金资助项目(0832103)

State Equivalence of Finite Recognizers and Its Properties

JIANG Mao-kun, DENG Pei-min, YI Zhong   

  1. College of Mathematical Science,Guangxi Normal University,Guilin Guangxi 541004,China
  • Received:2009-08-25 Online:2010-03-20 Published:2023-02-07

摘要： 讨论有限识别器的状态等价及其性质,在同构意义下,有限识别器都唯一存在一个可分有限识别器与它等价,给出了有限识别器的状态化简和等价类的求法。

关键词: 有限识别器, 状态等价, 可分, 状态数

Abstract: This paper mainly describes state equivalence of finite recognizers and its properties.A finite recognizer is a unique decomposable finite recognizer to exist in the sense of isomorphism.It also gives the state simplification and algorithm of state equivalence classes on finite recognizers.

Key words: finite recognizers, state equivalence, decomposable, number of states

中图分类号: 

  • TP301.1
[1] 吴青娥,王拓,刘卫亮,等.一种模糊自动机的目标识别方法[J].模式识别与人工智能,2008,21(1):56-61.
[2] 马吉明,韩丽,甘勇.自动机到正规表达式的重构方法研究[J].计算机工程与应用,2004,40(23):65-67.
[3] 高平安,蔡自兴.有限布尔环上的自动机[J].小型微型计算机系统,2006,27(7):1266-1269.
[4] 陶仁骥.自动机引论[M].北京:科学出版社,1986.
[5] 曹锋,邓培民,易忠.关于Moore自动机可逆性的一些结果[J].广西师范大学学报:自然科学版,2003,21(4):44-47.
[6] 邓婷,易忠,邓培民.状态机的稳定状态与稳定子集[J].广西师范大学学报:自然科学版,2005,23(3):29-32.
[7] 张继军,吴哲辉.下推自动机的状态转换图与下推自动机的化简[J].计算机科学,2006,33(3):271-274.
[8] HOLCOMBE W M L.Algebraic automata theory[M].Cambridge:Cambridge University Press,1982.
[1] 范瑞,蒋品群,曾上游,夏海英,廖志贤,李鹏. 多尺度并行融合的轻量级卷积神经网络设计[J]. 广西师范大学学报（自然科学版）, 2019, 37(3): 50-59.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
[1] 陈永淇, 白克钊, 邝华, 孔令江, 刘慕仁. 教室内布局对人员疏散影响的研究[J]. 广西师范大学学报（自然科学版）, 2011, 29(1): 1 -4 .
[2] 许伦辉, 叶凡. 基于横、轴、竖加速度干扰模型的行车舒适性评价[J]. 广西师范大学学报（自然科学版）, 2011, 29(1): 5 -9 .
[3] 阳丽, 孔令江. 微纳米球形颗粒之间的毛细力研究[J]. 广西师范大学学报（自然科学版）, 2012, 30(1): 1 -4 .
[4] 贺青, 刘剑, 韦联福. 微弱电磁信号的物理极限检测:单光子探测器及其研究进展[J]. 广西师范大学学报（自然科学版）, 2022, 40(5): 1 -23 .
[5] 白克钊, 罗旭东, 孔令江, 刘慕仁. 开放边界条件下一种数据传输元胞自动机模型[J]. 广西师范大学学报（自然科学版）, 2010, 28(3): 1 -4 .
[6] 许伦辉, 廖燃火昆. 基于车流轨迹的交叉口相位相序优化[J]. 广西师范大学学报（自然科学版）, 2010, 28(3): 5 -9 .
[7] 王修信, 秦丽梅, 农京辉, 梁宗经, 朱启疆. 利用单窗算法反演喀斯特城市地表温度[J]. 广西师范大学学报（自然科学版）, 2010, 28(3): 10 -14 .
[8] 黎玉芳, 张军舰. NA样本回归函数估计的强相合性[J]. 广西师范大学学报（自然科学版）, 2010, 28(3): 15 -19 .
[9] 贾保华. 一个不满足中心极限定理的严平稳相伴随机序列[J]. 广西师范大学学报（自然科学版）, 2010, 28(3): 20 -23 .
[10] 陈翠玲, 李明, 梁家梅, 李略. Wolfe线搜索下一类新的共轭梯度法及其收敛性[J]. 广西师范大学学报（自然科学版）, 2010, 28(3): 24 -28 .
版权所有 © 广西师范大学学报（自然科学版）编辑部
地址：广西桂林市三里店育才路15号　邮编：541004
电话：0773-5857325　E-mail: gxsdzkb@mailbox.gxnu.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发