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