关于二元延迟3步前馈逆有限自动机的结构
前馈逆有限自动机的结构是有限自动机可逆性理论中的基本问题.对延迟步数≥3的前馈逆结构的刻划,则是一个长期的未解决问题.研究了二元延迟3步前馈逆有限自动机的结构.对于自治有限自动机Ma的状态图为圈的二元延迟3步弱可逆半输入存储有限自动机C(Ma,f ),给出了其长3极小输出权分别为1,2,8三种情形下结构的一种刻画.由于C(Ma,f )延迟3步弱可逆当且仅当它是延迟3步弱逆,因此,得到了二元延迟3步前馈逆有限自动机结构的一种部分刻画.
有限自动机、半输入存储、前馈逆、可逆性
18
TP301(计算技术、计算机技术)
国家自然科学基金60310213;国家自然科学基金60325206
2007-03-27(万方平台首次上网日期,不代表论文的发表时间)
共10页
40-49