论文部分内容阅读
本文研究了由单个状态生成的有限自动机的弱可逆性及分解,得出了由单个状态生成的有限自动机弱可逆的充分必要条件,证明了由单个状态生成的延迟τ步弱可逆有限自动机M能分解为一个延迟0步弱可逆有限自动机和一个τ阶延迟元的充要条件是M的生成子的τ长输出权为1.
由单个状态生成的有限自动机的一些性质
【摘 要】
：
本文研究了由单个状态生成的有限自动机的弱可逆性及分解,得出了由单个状态生成的有限自动机弱可逆的充分必要条件,证明了由单个状态生成的延迟τ步弱可逆有限自动机M能分解
【机 构】
：
广西师范大学数学科学学院,毕节学院数学系
【出 处】
：
工程数学学报
【发表日期】
：
2011年1期
【基金项目】
：
国家自然科学基金（60473005）, 广西自然科学基金（0832103）, 广西研究生教育创新计划资助项目（2007106020701M48）~~
其他文献
本文定性分析了具有Beddington-DeAngelis功能反应、脉冲、连续时滞和广义扩散函数的捕食者-食饵系统.利用脉冲微分方程的比较原理给出了系统持续生存的条件,并使用不动点理
利用稳定性理论,讨论了一类带扩散项食饵染病的捕食-食饵模型正常数解的一致渐近稳定性,得出一定条件下,在常数解的某个邻域内系统不存在非常数正解的结论.同时,利用极值原理
基于实际问题对通量较低的正则性要求,本文建立了椭圆型方程的一种新型混合变分形式.在鞍点问题框架下,通过验证LBB条件,证明了该混合形式解的存在唯一性.由于压力空间不再是