邓培民 作品数:70 被引量:161 H指数:10 供职机构: 广西师范大学数学与统计学院 更多>> 发文基金: 国家自然科学基金 广西壮族自治区自然科学基金 教育部“优秀青年教师资助计划” 更多>> 相关领域: 自动化与计算机技术 理学 自然科学总论 更多>>
弱可逆有限自动机分解的一个结果 被引量:3 2008年 研究弱可逆有限自动机的分解可以为分析有限自动机公开钥密码体制的安全性提供一种重要途径。从输出权的角度讨论了一般的延迟τ步弱可逆有限自动机M的分解问题,得到了它可以分解出k0(k0≤τ)阶延迟元的一个充要条件,即M可以分解成延迟-τk0步弱可逆有限自动机和k0阶延迟元当且仅当M的所有状态的长k0输出权为1。 姚兴华 邓培民 易忠关键词:有限自动机 弱可逆 由单个状态生成的有限自动机的一些性质 被引量:1 2011年 本文研究了由单个状态生成的有限自动机的弱可逆性及分解,得出了由单个状态生成的有限自动机弱可逆的充分必要条件,证明了由单个状态生成的延迟τ步弱可逆有限自动机M能分解为一个延迟0步弱可逆有限自动机和一个τ阶延迟元的充要条件是M的生成子的τ长输出权为1. 黄飞丹 蒙春凤 邓培民 易忠关键词:线性有限自动机 可逆 弱可逆 (r,t)阶存贮拟线性有限自动机的极小化 2008年 实现将一个有限自动机极小化是一个困难的问题。通过零状态考虑了一类(r,t)阶存贮拟线性有限自动机极小化的判断方法,给出了极小线性有限自动机的描述,最后给出了基于系数矩阵的极小化算法实现。 钟祥贵 易忠 邓培民关键词:线性有限自动机 极小化 等价 有限自动机矩阵模型的应用——有限自动机r阶输入存贮性质判定新方法 被引量:2 2007年 在有限自动机矩阵模型表示方法基础上,采用矩阵理论和布尔代数为工具,给出了有限自动机r阶输入存贮性质判定的新方法。该方法不仅有利于算法设计和计算机自动处理,也促进了有限自动机的研究和发展。 陈燕敏 邓培民 易忠关键词:有限自动机 矩阵模型 输入存贮线性有限自动机的弱可逆性 2012年 应用输入存贮线性有限自动机的结构矩阵讨论了输入存贮线性有限自动机的弱可逆性,得出输入存贮线性有限自动机延迟0步弱可逆的充要条件、延迟τ步弱可逆和严格延迟τ步弱可逆的充分条件,由此条件得出延迟τ步弱可逆和严格延迟τ步弱可逆的输入存贮线性有限自动机的构造方法并且求出延迟0步弱可逆输入存贮线性有限自动机的一个弱逆. 冯文俊 易忠 邓培民关键词:弱可逆 概率有限状态自动机的代数性质 被引量:9 2013年 利用矩阵、同态、同构、同余等代数工具研究概率有限状态自动机的代数性质.首先定义了输入集上两个字符串同余的概念,并利用概率转移矩阵给出2个字符串同余的一些等价刻画.进而提出概率有限状态自动机同态和同构的概念,并给出了概率有限状态自动机同态定理.证明了2个概率有限状态自动机同构的充要条件是它们的概率转移矩阵可以通过第1种行列初等变换相互转化;同时提出了2个概率有限状态自动机积与和的概念,并得到了积自动机、和自动机的同态关系.最后将模糊自动机中交换的概念引入到概率有限状态自动机中,并利用概率转移矩阵给出了此类自动机交换的一些等价刻画以及和自动机、积自动机交换的充要条件. 谢正卫 翟莹 邓培民 易忠关键词:同余 同态 同构 基于有限状态自动机的服务组合模型 被引量:8 2006年 分析了目前服务计算的研究现状和存在的问题,在D Berardi和A Wombacher的基础上提出了一种带条件的有限状态自动机模型cFSA(Finite State Automata with condition),并给出了基于cFSA的服务理论模型.在该服务理论模型的基础上提出了一种基于有限状态自动机的服务组合形式化模型,并给出了该模型的代数性质和实现方法. 蒋运承 汤庸 邓培民关键词:有限状态自动机 连通不可约变换半群的自同构群结构 2008年 给出连通变换半群导出的变换群保持连通性的充分必要条件,证明不可约变换半群导出的变换群不可约,不可约变换半群的自同构群是本原置换群,连通变换半群的自同构群是正则置换群,连通且不可约的变换半群的自同构群是一个素数阶的循环群. 汤恒琦 易忠 邓培民关键词:变换半群 变换群 不可约 置换群 有限自动机的积可逆性讨论 被引量:11 2004年 主要讨论了有限自动机运算后的可逆情况,给出了有限自动机串、并联后为可逆(弱可逆,延迟有限步(弱)可逆)的若干条件,最后对有限自动机的化合运算的可逆性进行了特别讨论. 林莉 邓婷 邓培民 易忠关键词:有限自动机 映射 二元有限域GF(2)上友矩阵的性质 2008年 本文主要研究定义在二元有限域GF(2)上友矩阵的性质,文中采用对矩阵性质的一般研究方法,较系统地讨论了定义在二元有限域上友矩阵的行列式、可逆性、特征值、秩、对角化以及极小多项式等有关问题,并得到了一些相关结论。 陶胜达 邓培民关键词:友矩阵 可逆性 对角化 极小多项式