关于二元延迟3步前馈逆有限自动机的结构

• 作者: 姚刚 王鸿吉
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 有限自动机 半输入存储 前馈逆 可逆性
• 年，卷（期）: 2007,（1）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 40-49
• 页数: 10页
• 分类号: TP301
• 字数: 14840字
• 语种: 中文

摘要

前馈逆有限自动机的结构是有限自动机可逆性理论中的基本问题.对延迟步数≥3的前馈逆结构的刻划,则是一个长期的未解决问题.研究了二元延迟3步前馈逆有限自动机的结构.对于自治有限自动机Ma的状态图为圈的二元延迟3步弱可逆半输入存储有限自动机C(Ma,f ),给出了其长3极小输出权分别为1,2,8三种情形下结构的一种刻画.由于C(Ma,f )延迟3步弱可逆当且仅当它是延迟3步弱逆,因此,得到了二元延迟3步前馈逆有限自动机结构的一种部分刻画.