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

作者：王鸿吉; 姚刚

来源：软件学报, 2007, (01): 40-49.

• 有限自动机
• 半输入存储
• 前馈逆
• 可逆性 finite automata
• semi-input memory
• feedforward inverses
• invertibility

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

• 单位
  中国科学院软件研究所; 信息安全国家重点实验室; 中国科学院研究生院