有界误差传播和前馈可逆的关系

定义 设M~*=〈Y,X,S~*,δ~*,λ~*〉是一有限自动机,若存在自治有限自动机M″=〈Y″,S″,δ″,λ″〉和Y~(c 1)×λ″(S″)到X的单值映射,使得且,则称M~*为c阶半输入存贮的,并记作(M″,f)。