一有限自动机的误差传播有界弱逆的结构

【摘要】 <正> 定义 设M=<X,Y,S,δ,λ>和M′=<Y,X,S′,δ′,λ′>是两个有限自动机。任何s∈S和s′∈S′,若对任何x₀,x₁,…∈X都存在x_t,…,x_-1∈X使得λ′（s′,λ（s,x₀x₁…））=x_-t…x_-1x₀x₁…成立,且对任何l≥n≥0,任何x₀,…,x_l∈X和任何y₀^′,…,y_n1^′,y₀,y₁,…,y_l∈y,都可由y₀…y_l=λ（s,x₀…x_l）推出λ′（s′,y₀ … y_l）=_n+cλ′(s′,y₀^′…y_n-1^′y_n…y_l),则称（s,s′）为延迟t步误差传播长度不大于e的匹配对,其中e是一非负整数,a₀a₁…a_l=_tb₀b₁…b_l表示a_t…a_l=b_t…b_l。对任何更多还原