Stutter bisimulation
ಸೈದ್ಧಾಂತಿಕ ಗಣಕಯಂತ್ರ ವಿಜ್ಞಾನದಲ್ಲಿ, ಸ್ಟಟ್ಟರ್ ಬೈಸಿಮ್ಯುಲೇಶನ್ ಅನ್ನು ಬೈಸಿಮ್ಯುಲೇಶನ್ನಂತೆಯೇ ಕೋಯಿನ್ಡಕ್ಟಿವ್ ರೀತಿಯಲ್ಲಿ ವ್ಯಾಖ್ಯಾನಿಸಲಾಗಿದೆ. ಟಿಎಸ್ = (ಎಸ್, ಆಕ್ಟ್, →, ಐ, ಎಪಿ, ಎಲ್) ಒಂದು ಪರಿವರ್ತನಾ ವ್ಯವಸ್ಥೆಯಾಗಿರಲಿ. ಟಿಎಸ್ಗೆ ಸ್ಟಟರ್ ಬೈಸಿಮ್ಯುಲೇಷನ್ ಎಂಬುದು ಎಸ್ ಮೇಲೆ ಬೈನರಿ ಸಂಬಂಧ ಆರ್ ಆಗಿದ್ದು, ಅದು ಆರ್ಃ ಎಲ್ (ಎಸ್ 1) = ಎಲ್ (ಎಸ್ 2) ನಲ್ಲಿರುವ ಎಲ್ಲರಿಗೂ (ಎಸ್ 1, ಎಸ್ 2) ಆಗಿದೆ. 's1' ಪೋಸ್ಟ್ (s1) ನಲ್ಲಿದೆ ಮತ್ತು (s1 ', s2) R ನಲ್ಲಿಲ್ಲದಿದ್ದರೆ, ಒಂದು ಸೀಮಿತ ಮಾರ್ಗ ತುಣುಕು s2u1.uns2' n ≤ 0 ನೊಂದಿಗೆ ಅಸ್ತಿತ್ವದಲ್ಲಿದೆ ಮತ್ತು (s1, ui) R ನಲ್ಲಿದೆ ಮತ್ತು (s1 ', s2') R ನಲ್ಲಿದೆ.