延迟1步弱可逆半输入存储有限自动机的结构
半输入存储有限自动机是在研究误差传播问题时由本文头一位作者提出的一类有限自动机,它作为输入存储有限自动机的推广,增加了一个自治有限自动机作为其组成部分.本文对于自治有限自动机M<,a>的状态图构成一个圈的情形,刻划了延迟1步弱可逆半输入存储有限自动机C(M<,a>,f)的结构,即给出了f的显表达式.基于作者最近在互逆性方面的一个结果,上述刻划也导致延迟1步前馈逆有限自动机的一种刻划.
有限自动机 半输入存储 延迟1步 可逆性
陶仁骥 陈世华
中国科学院软件研究所计算机科学实验室(北京)
国内会议
威海
中文
250-258
2002-08-01(万方平台首次上网日期,不代表论文的发表时间)