延迟1步弱可逆半输入存储有限自动机的结构

摘要

半输入存储有限自动机是在研究误差传播问题时由本文头一位作者提出的一类有限自动机,它作为输入存储有限自动机的推广,增加了一个自治有限自动机作为其组成部分.本文对于自治有限自动机M<,a>的状态图构成一个圈的情形,刻划了延迟1步弱可逆半输入存储有限自动机C(M<,a>,f)的结构,即给出了f的显表达式.基于作者最近在互逆性方面的一个结果,上述刻划也导致延迟1步前馈逆有限自动机的一种刻划.