期刊文献+
共找到13篇文章
< 1 >
每页显示 20 50 100
线性有限自动机零状态的作用 被引量:8
1
作者 阎航宇 谢正卫 +1 位作者 邓培民 易忠 《广西师范大学学报(自然科学版)》 CAS 北大核心 2006年第1期30-33,共4页
通过零状态研究了线性有限自动机的一些性质,得到了线性有限自动机弱可逆的一些结果,并给出了最小线性子有限自动机的描述,最后给出了算法实现。
关键词 线性有限自动机 弱可逆 严格延迟 极小 等价
下载PDF
线性有限自动机的同步序列及其生成算法 被引量:7
2
作者 谢正卫 邓培民 易忠 《计算机工程与应用》 CSCD 北大核心 2006年第24期34-38,共5页
文章主要讨论了线性有限自动机的同步序列,得到了线性有限自动机有同步序列的充要条件,还讨论了一类输入存贮线性有限自动机及可等价嵌入输入存贮线性有限自动机的极小线性有限自动机的同步序列。最后给出了判断线性有限自动机有无同步... 文章主要讨论了线性有限自动机的同步序列,得到了线性有限自动机有同步序列的充要条件,还讨论了一类输入存贮线性有限自动机及可等价嵌入输入存贮线性有限自动机的极小线性有限自动机的同步序列。最后给出了判断线性有限自动机有无同步序列以及求线性有限自动机(最短)同步序列的一些算法。 展开更多
关键词 线性有限自动机 同步序列 维数 状态变换矩阵 等价嵌入
下载PDF
线性有限自动机的UIO序列及其生成算法 被引量:5
3
作者 谢正卫 邓培民 易忠 《计算机工程与应用》 CSCD 北大核心 2007年第2期49-52,144,共5页
对线性有限自动机的UIO序列进行了讨论,得到了线性有限自动机的任意一状态有某一长度的UIO序列的充要条件,得到了线性有限自动机的(所有)状态有UIO序列的的充要条件,还给出了有UIO序列的线性有限自动机的状态的最短UIO序列长度的上界,... 对线性有限自动机的UIO序列进行了讨论,得到了线性有限自动机的任意一状态有某一长度的UIO序列的充要条件,得到了线性有限自动机的(所有)状态有UIO序列的的充要条件,还给出了有UIO序列的线性有限自动机的状态的最短UIO序列长度的上界,最后给出了判断线性有限自动机的所有状态有无UIO序列以及有求其UIO序列的两个算法. 展开更多
关键词 线性有限自动机 UIO序列 诊断矩阵 算法
下载PDF
由单个状态生成的有限自动机的一些性质 被引量:1
4
作者 黄飞丹 蒙春凤 +1 位作者 邓培民 易忠 《工程数学学报》 CSCD 北大核心 2011年第1期55-60,共6页
本文研究了由单个状态生成的有限自动机的弱可逆性及分解,得出了由单个状态生成的有限自动机弱可逆的充分必要条件,证明了由单个状态生成的延迟τ步弱可逆有限自动机M能分解为一个延迟0步弱可逆有限自动机和一个τ阶延迟元的充要条件是... 本文研究了由单个状态生成的有限自动机的弱可逆性及分解,得出了由单个状态生成的有限自动机弱可逆的充分必要条件,证明了由单个状态生成的延迟τ步弱可逆有限自动机M能分解为一个延迟0步弱可逆有限自动机和一个τ阶延迟元的充要条件是M的生成子的τ长输出权为1. 展开更多
关键词 线性有限自动机 可逆 弱可逆 弱逆 分解
下载PDF
右线性文法与有限自动机等价性的一个新证明
5
作者 韩光辉 曾诚 《电脑与信息技术》 2012年第1期1-4,32,共5页
迄今为止,左、右线性文法与有限自动机的等价性都是通过相互模拟构造来证明的。文章首先引入字母表上的右线性方程组及其最小解的概念,证明了最小解的存在性与有效可解性,描述了最小解的结构;其次通过右线性方程组及其最小解,证明了右... 迄今为止,左、右线性文法与有限自动机的等价性都是通过相互模拟构造来证明的。文章首先引入字母表上的右线性方程组及其最小解的概念,证明了最小解的存在性与有效可解性,描述了最小解的结构;其次通过右线性方程组及其最小解,证明了右线性文法与有限自动机的等价性。完全类似地,可以引入字母表上的左线性方程组及其最小解,并且证明左线性文法与有限自动机的等价性;最后简要阐述了右线性方程组在有限自动机的矩阵模型和正则语言类的形式模型方面的研究意义。 展开更多
关键词 右线性文法 有限自动机 等价性 右线性方程组 最小解
下载PDF
Increasing Ranks of Linear Finite Automata and Complexity of FA Public Key Cryptosystem
6
作者 鲍丰 《Science China Mathematics》 SCIE 1994年第4期504-512,共9页
The encryption algorithm of finite automata (FA) public key cryptosystem is implemented by a weakly invertible finite automata (WIFA) which is composed of a nonlinear WIFA with delay 0 and a linear WIFA with delay τ.... The encryption algorithm of finite automata (FA) public key cryptosystem is implemented by a weakly invertible finite automata (WIFA) which is composed of a nonlinear WIFA with delay 0 and a linear WIFA with delay τ. In this paper, we proved that such an automaton bears the same properties as the linear WIFA and the increasing ranks of the latter are key factors to affecting the former. A probabilistic algorithm is given to realize a ciphertext attack, and its complexity is analysed through the increasing ranks of the linear WIFA. The size of the parameters for safe linear WIFA is estimated. 展开更多
关键词 linear finite automata WEAKLY invertible INCREASING RANKS probabilistic algorithm complexity.
原文传递
(r,t)阶存贮拟线性有限自动机的极小化
7
作者 钟祥贵 易忠 邓培民 《计算机工程与应用》 CSCD 北大核心 2008年第11期68-70,共3页
实现将一个有限自动机极小化是一个困难的问题。通过零状态考虑了一类(r,t)阶存贮拟线性有限自动机极小化的判断方法,给出了极小线性有限自动机的描述,最后给出了基于系数矩阵的极小化算法实现。
关键词 线性有限自动机 极小化 等价
下载PDF
线性有限自动机输入输出集的性质
8
作者 谢正卫 郭振 《计算机工程与应用》 CSCD 北大核心 2009年第35期28-30,共3页
证明了两个线性有限自动机化合而得到的自动机具有输入输出均匀的性质,建立了由两个延迟1步弱可逆线性有限自动化合后得到的自动机的输入集个数与化合前自动机输入集个数的等式关系。
关键词 线性有限自动机 化合 输入 输出 弱可逆
下载PDF
线性有限自动机的输入存贮性及其算法
9
作者 吴中伟 欧阳旻 +1 位作者 邓培民 易忠 《广西师范大学学报(自然科学版)》 CAS 北大核心 2009年第2期25-29,共5页
讨论了线性有限自动机的输入存贮性,得到了线性有限自动机具有有限阶输入存贮的充要条件,并且给出了判断线性有限自动机有无有限阶输入存贮以及求线性有限自动机的输入存贮阶数的一些算法。
关键词 线性有限自动机 输入存贮 维数 结构矩阵 等价
下载PDF
基于矩阵模型表示的线性有限自动机弱可逆性的判定
10
作者 杨楠 《黔南民族师范学院学报》 2008年第3期35-37,34,共4页
主要讨论了基于矩阵模型表示的线性有限自动机的弱可逆性,利用矩阵模型得出了线性有限自动机延迟有限步弱可逆的充分必要条件,并且给出了线性有限自动机是否具有弱可逆的算法。
关键词 线性有限自动机 弱可逆 矩阵模型
下载PDF
弱可逆拟(r,r)阶存贮线性有限自动机的分解 被引量:1
11
作者 吴成来 邓培民 易忠 《计算机工程与应用》 CSCD 北大核心 2007年第23期43-47,共5页
通过对延迟r步弱可逆拟(r,r)阶存贮线性有限自动机输出权的研究,得出对延迟r步弱可逆拟(r,r)阶存贮线性有限自动机的任意一个状态,它的长r的输出权都是1;任何一个n元拟(r,r)阶存贮线性有限自动机M延迟r步弱可逆的充分必要条件是M都可以... 通过对延迟r步弱可逆拟(r,r)阶存贮线性有限自动机输出权的研究,得出对延迟r步弱可逆拟(r,r)阶存贮线性有限自动机的任意一个状态,它的长r的输出权都是1;任何一个n元拟(r,r)阶存贮线性有限自动机M延迟r步弱可逆的充分必要条件是M都可以分解为一个延迟0步弱可逆有限自动机M0和一个延迟r步弱可逆拟(0,r)阶存贮线性有限自动机M1。 展开更多
关键词 拟存贮有限自动机 分解 弱可逆 输出权
下载PDF
基于矩阵模型表示的极小线性有限自动机的最短初态试验序列判定
12
作者 杨楠 曹发生 《毕节学院学报(综合版)》 2011年第8期76-78,共3页
在有限自动机矩阵模型表示方法的基础上,采用矩阵理论和布尔代数为工具,给出了判定输入序列是否是极小线性有限自动机的最短初态试验序列的新算法。
关键词 极小线性有限自动机 矩阵模型 初态试验序列
下载PDF
输入存贮线性有限自动机的弱可逆性
13
作者 冯文俊 易忠 邓培民 《数学的实践与认识》 CSCD 北大核心 2012年第1期209-217,共9页
应用输入存贮线性有限自动机的结构矩阵讨论了输入存贮线性有限自动机的弱可逆性,得出输入存贮线性有限自动机延迟0步弱可逆的充要条件、延迟τ步弱可逆和严格延迟τ步弱可逆的充分条件,由此条件得出延迟τ步弱可逆和严格延迟τ步弱可... 应用输入存贮线性有限自动机的结构矩阵讨论了输入存贮线性有限自动机的弱可逆性,得出输入存贮线性有限自动机延迟0步弱可逆的充要条件、延迟τ步弱可逆和严格延迟τ步弱可逆的充分条件,由此条件得出延迟τ步弱可逆和严格延迟τ步弱可逆的输入存贮线性有限自动机的构造方法并且求出延迟0步弱可逆输入存贮线性有限自动机的一个弱逆. 展开更多
关键词 输入存贮线性有限自动机 弱可逆
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部