Stutter bisimulation
கோட்பாட்டு கணினி அறிவியலில், ஒரு திக்குவாய்ந்த இருதரப்பு உருவகப்படுத்துதல் என்பது இருதரப்பு உருவகப்படுத்துதலைப் போலவே ஒரு ஒருங்கிணைந்த முறையில் வரையறுக்கப்படுகிறது. டிஎஸ் = (எஸ், ஆக்ட், →, ஐ, ஏபி, எல்) ஒரு மாற்றம் அமைப்பாக இருக்கட்டும். டி. எஸ். க்கான ஒரு ஸ்டட்டர் பைசிமுலேஷன் என்பது S இல் உள்ள ஒரு பைனரி உறவு R ஆகும், இது R இல் உள்ள அனைவருக்கும் (s1, s2): L (s1) = L (s2). 's1' என்பது போஸ்ட் (s1) இல் இருந்தால், (s1 ', s2) R இல் இல்லை என்றால், ஒரு வரையறுக்கப்பட்ட பாதை துண்டு s2u1.uns2' n ≤ 0 உடன் உள்ளது மற்றும் (s1, ui) R இல் உள்ளது, மற்றும் (s1 ', s2') R இல் உள்ளது.