模倣による定式化

s, s'∈S, t, t'∈T、状態空間のあいだの関係をR⊆S×T、遷移（1ステップ）を矢印で表す。また xRx' を x〜x' で示す。次が、「SがTを模倣できる」の定義。

• s〜t, t-(a)→t' ならば、s'〜t', s-(a)→s' となるs'がS内にある。

それで、

• SがTを模倣できる ⇔ L(T)⊆L(S)

を示したい。「⇒」は当たり前だが、逆が難しい。模倣Rを構成しないといけない。

• L(T)⊆L(S) ⇒ SがTを模倣できる。
• SがTを模倣できない ⇒ L(T)⊆L(S) ではない。