论文部分内容阅读
本文研究了由单个状态生成的有限自动机的弱可逆性及分解,得出了由单个状态生成的有限自动机弱可逆的充分必要条件,证明了由单个状态生成的延迟τ步弱可逆有限自动机M能分解为一个延迟0步弱可逆有限自动机和一个τ阶延迟元的充要条件是M的生成子的τ长输出权为1.
由单个状态生成的有限自动机的一些性质
【摘 要】
：
本文研究了由单个状态生成的有限自动机的弱可逆性及分解,得出了由单个状态生成的有限自动机弱可逆的充分必要条件,证明了由单个状态生成的延迟τ步弱可逆有限自动机M能分解
【机 构】
：
广西师范大学数学科学学院,毕节学院数学系
【出 处】
：
工程数学学报
【发表日期】
：
2011年1期
【基金项目】
：
国家自然科学基金（60473005）, 广西自然科学基金（0832103）, 广西研究生教育创新计划资助项目（2007106020701M48）~~
其他文献
《攀枝花晚报》从2001年3月4日正式创刊起，就实行全新的运行机制，主动适应读者，走向市场、开拓市场。以党报“晚风”，服务百姓，贴近生活、贴近民众、贴近社会为办报方向，形成一个连
期刊
广义Bethe树是指每层上的点都具有相同度的带根树．设既为具有k层的广义Bethe树，К^τ为τ阶完全图．把τ个В_κ的根点分别粘在К^τ的τ个点上，可获得一个图В_κοК^τ ．借助于
12月2日,2016年度中国石油和化学工业联合会科学技术奖授奖大会在浙江杭州召开。中国石油和化学工业联合会会长李寿生出席会议并发表了题为＂全面落实创新驱动发展战略,努力推
本文定性分析了具有Beddington-DeAngelis功能反应、脉冲、连续时滞和广义扩散函数的捕食者-食饵系统.利用脉冲微分方程的比较原理给出了系统持续生存的条件,并使用不动点理
利用稳定性理论,讨论了一类带扩散项食饵染病的捕食-食饵模型正常数解的一致渐近稳定性,得出一定条件下,在常数解的某个邻域内系统不存在非常数正解的结论.同时,利用极值原理
不动点迭代方法中的随机误差会引起迭代不收敛或结果失真．本文构造一种带有随机误差的不动点迭代算法，在Banach空间得到渐近非扩张映像有限族的公共不动点强收敛和弱收敛的充分
基于实际问题对通量较低的正则性要求,本文建立了椭圆型方程的一种新型混合变分形式.在鞍点问题框架下,通过验证LBB条件,证明了该混合形式解的存在唯一性.由于压力空间不再是