Stutter bisimulation
তাত্ত্বিক কম্পিউটার বিজ্ঞানে, একটি স্টাটার বাইসিমুলেশনকে কোইনডাক্টিভ পদ্ধতিতে সংজ্ঞায়িত করা হয়, যেমন বাইসিমুলেশন। ধরা যাক টিএস = (এস, অ্যাক্ট, →, আই, এপি, এল) একটি রূপান্তর ব্যবস্থা। টি. এস-এর জন্য একটি স্টাটার বাইসিমুলেশন হল এস-এর উপর একটি বাইনারি সম্পর্ক আর যাতে সমস্ত (এস1, এস2)-এর জন্য যা আরঃ এল (এস1) = এল (এস2)-এ থাকে। যদি 's1' পোস্ট (s1)-এ থাকে এবং (s1 ', s2) R-এ না থাকে, তাহলে একটি সীমাবদ্ধ পথের খণ্ড' n ≤ 0 সহ 's2u1.uns2' বিদ্যমান থাকে এবং (s1, ui) R-এ থাকে, এবং (s1 ', s2') R-এ থাকে।