Stutter bisimulation
نظریاتی کمپیوٹر سائنس میں، ایک ہچکچاہٹ بزیمولیشن کی تعریف ایک مربوط انداز میں کی جاتی ہے، جیسا کہ بزیمولیشن ہے۔ آئیے کہ ٹی ایس = (ایس، ایکٹ، →، آئی، اے پی، ایل) ایک منتقلی کا نظام ہے۔ ٹی ایس کے لیے سٹٹر بائیسیمولیشن S پر ایک بائنری رشتہ R ہے جو کہ تمام (s1، s2) کے لیے R: L (s1) = L (s2) میں ہے۔ اگر s1 'پوسٹ (s1) میں ہے اور اس کے ساتھ (s1'، s2) R میں نہیں ہے، تو ایک محدود راستے کا ٹکڑا موجود ہے s2u1.uns2 'n ≤ 0 کے ساتھ اور (s1, ui) R میں ہے، اور (s1', s2 ') R میں ہے۔ اگر s2' پوسٹ (s2) میں ہے جس کے ساتھ (s1, s2 ') R میں نہیں ہے، تو ایک محدود راستے کا ٹکڑا موجود ہے s1v1.vns1' n ≤ 0 کے ساتھ اور (vi, s2) R میں ہے، اور (s1 ', s2') حوالہ جات منتقلی کے نظام میں ہے۔