由单个状态生成的有限自动机的一些性质  

Some Characteristics of Finite Automata Generated by Single State

作　　者：黄飞丹[1,2] 蒙春凤[1] 邓培民[1] 易忠[1] 

机构地区：[1]广西师范大学数学科学学院,桂林541004 [2]毕节学院数学系,贵州毕节551700

出　　处：《工程数学学报》2011年第1期55-60,共6页Chinese Journal of Engineering Mathematics

基　　金：国家自然科学基金(60473005);广西自然科学基金(0832103);广西研究生教育创新计划资助项目(2007106020701M48)~~

摘　　要：本文研究了由单个状态生成的有限自动机的弱可逆性及分解,得出了由单个状态生成的有限自动机弱可逆的充分必要条件,证明了由单个状态生成的延迟τ步弱可逆有限自动机M能分解为一个延迟0步弱可逆有限自动机和一个τ阶延迟元的充要条件是M的生成子的τ长输出权为1.This paper investigates the weakly invertible and decomposable properties of the finite automata generated by a single state.To prove whether a finite automation generated by a single state is weakly invertible,some necessary and sufficient conditions are shown.Moreover,for a weakly invertible finite automation（WIFA for short） M with delay τ generated by a single state,M can be decomposed into a WIFA with delay 0 and a τ-order unit if and only if the τ-output weight of the generator of M is 1.

关 键 词：线性有限自动机 可逆 弱可逆 弱逆 分解 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构]