摘要
Definition. Let M=〈X,Y,S,δ,λ〉and M’=〈Y,X,S’,δ’,λ〉be two finite automata.For any s in S and s’ in S’, if for any x0,x1,… in X there exist x-τ,…, x-1 in X such that λ’（s’, λ（s, x0x1…））=xτ…x1x0x1… holds, and if for any l≥n≥0, and x0,…,x1 in X and any y’0,…,Y’n-1, y0, y1,…,y1 in Y, y0…y1=λ（s, x0…x1）
