共查询到10条相似文献,搜索用时 15 毫秒
1.
吴成来 《广西右江民族师专学报》2010,(3):63-70
利用拟(r,r)阶存贮线性有限自动机可以轻松地构造出一个延迟r步弱可逆的有限自动机,这比文献[2]中通过Ra,Rb变换,对(r,r)阶存贮线性有限自动机进行一系列复杂烦琐的变换来构造一个延迟r步弱可逆的有限自动机的方法要简单可行。文章利用拟(r,r)阶存贮线性有限自动机,给出了一种构造延迟r步前馈可逆的线性有限自动机M和延迟r步前馈逆线性有限自动机时的简便方法。 相似文献
2.
线性有限自动机零状态的作用 总被引:6,自引:2,他引:6
通过零状态研究了线性有限自动机的一些性质,得到了线性有限自动机弱可逆的一些结果,并给出了最小线性子有限自动机的描述,最后给出了算法实现。 相似文献
3.
戴宗铎等人在域F上的一元多项式环F[z]与域F上的形式幂级数环F[[z]]之间,定义了一种乘法"*",使得F[[z]]作成一个F[z]一模,利用此模研究了线性有限自动机.在此讨论了一类线性有限自动机的线性τ-弱逆,给出了这类线性有限自动机一定τ-弱可逆的充分条件、构成它的τ-弱逆线性有限自动机的充要条件以及τ-弱逆线性有限自动机自由响应模的最小维数. 相似文献
4.
介绍了一种基于词计算的一类新的Fuzzy有限自动机,这种自动机的输入和输出分别由输入和输出字母表的Fuzzy子集串代替,定义了它的最小形式,得到这种新的Fuzzy有限自动机M都存在一个与之等价的最小Fuzzy有限自动机Mm。 相似文献
5.
本文提出了线性有限自动机商系统的概念,给出了系统的结构,考查了系统间的泛系同态关系。抽象自动机是以输入、输出、状态三种集为硬部;状态转够函数、输出函数为软部所构成的形式系统。对硬部的不同成份按泛系方法进行商化,可导致各种不同的商系统。自动机理论中常用的极小自动机就是对状态集进行某种商化所得的一种商系统。一、基本概念线性有限自动机是指五元组: 相似文献
6.
针对确定有限自动机对输入符号串的识别过程,提出了采用可计算逻辑来分析确定有限自动机的功能结构及其状态转换函数.在可计算逻辑中,计算问题是机器和环境博弈的过程.同样确定有限自动机对输入符号串的识别过程也可当作机器与用户的博弈,如果输入符号串满足确定有限自动机的语法规则能够识别出来,表示机器赢,否则用户赢. 相似文献
7.
研究弱可逆有限自动机的分解可以为分析有限自动机公开钥密码体制的安全性提供一种重要途径。从输出权的角度讨论了一般的延迟r步弱可逆有限自动机M的分解问题,得到了它可以分解出k0(k0≤r)阶延迟元的一个充要条件,即M可以分解成延迟r-k0步弱可逆有限自动机和k0阶延迟元当且仅当M的所有状态的长k0输出权为1。 相似文献
8.
马卫国 《西安交通大学学报》1981,(2)
考虑到已有的同步网络固定故障测试生成方法的优缺点,这里认为应该从网络的自动机结构的角度来研究问题.从而提出了一个新的测试模型——n-阶存贮时序机. n-阶存贮时序机M_R=是由n个状态机(State machine)组成的,具有图1所示的结构. 相似文献
9.
10.