Stuttering equivalence とは

理論的なコンピュータサイエンスでは、等価な吃音は、
π s t π {\displaystyle \pi \sim _{st}\pi ‘}
パス π {\displaystyle \pi } とパス π {\displaystyle \pi ‘} をブロックに分けると見ることができるので、一方のパスの k t h {\displaystyle k^{\mathrm {th} }} ブロックの状態は、他方の k t h {\displaystyle k^{\mathrm {th} }} ブロックの状態と同じようにラベル付け( L ( ) {\displaystyle L(\cdot )} )されますパス。対応するブロックは、異なる長さを有してもよい。
正式には、これは、すべてのブロック k 0 {\displaystyle k\geq 0} が保持するような2つの無限の整数列 0 = i 0 < i 1 < i 2 < {\displaystyle 0=i_{0} 0 = j 0 < j 1 < j 2 < {\displaystyle 0=j_{0} があれば、吃音等価( π s t π {\displaystyle \pi \sim _{st}\pi ‘} )である2つの無限大経路 π = s 0 , s 1 , {\displaystyle \pi =s_{0},s_{1},\ldots } π = r 0 , r 1 , {\displaystyle \pi ‘=r_{0},r_{1},\ldots } L ( s i k ) = L ( s i k + 1 ) = = L ( s i k + 1 1 ) = L ( r j k ) = L ( r j k + 1 ) = = L ( r j k + 1 1 ) {\displaystyle L(s_{i_{k}})=L(s_{i_{k}+1})=\ldots =L(s_{i_{k+1}-1})=L(r_{j_{k}})=L(r_{j_{k}+1})=\ldots =L(r_{j_{k+1}-1})}
バイミメレーションは線形時間/計算木論理(分岐時論理)(モーダル論理)で見いだされる「最終的に」(または「最終的に」)演算子のセマンティクスを捕捉することができないので、吃音等価性は二刺激と同じではない。いわゆる分岐二元混合法を使用しなければならない。