Stutter bisimulation
सैद्धांतिक कंप्यूटर विज्ञान में, एक हकलाने वाले द्वि-अनुकरण को सहचालक तरीके से परिभाषित किया जाता है, जैसा कि द्वि-अनुकरण है। मान लीजिए कि टीएस = (एस, एक्ट, →, आई, एपी, एल) एक संक्रमण प्रणाली है। टी. एस. के लिए एक हकलाने वाला द्विभाजन एस पर एक द्विआधारी संबंध आर है जैसे कि सभी (एस1, एस2) के लिए जो आरः एल (एस1) = एल (एस2) में है। यदि s1 'पोस्ट (s1) में है और (s1', s2) R में नहीं है, तो एक सीमित पथ टुकड़ा s2u1.uns2 'n ≤ 0 के साथ मौजूद है और (s1, ui) R में है, और (s1', s2 ') R में है।