Input/output automaton
ಇನ್ಪುಟ್/ಔಟ್ಪುಟ್ ಆಟೋಮ್ಯಾಟಾ ಒಂದು ಔಪಚಾರಿಕ ಮಾದರಿಯನ್ನು ಒದಗಿಸುತ್ತದೆ, ಇದು ಹೆಚ್ಚಿನ ರೀತಿಯ ಅಸಿಂಕ್ರೊನಸ್ ಏಕಕಾಲೀನ ವ್ಯವಸ್ಥೆಯನ್ನು ವಿವರಿಸಲು ಅನ್ವಯಿಸುತ್ತದೆ. ಸ್ವತಃ, ಐ/ಒ ಆಟೋಮ್ಯಾಟನ್ ಮಾದರಿಯು ಅತ್ಯಂತ ಮೂಲಭೂತ ರಚನೆಯನ್ನು ಹೊಂದಿದ್ದು, ಇದು ವಿವಿಧ ರೀತಿಯ ವಿತರಣಾ ವ್ಯವಸ್ಥೆಗಳನ್ನು ರೂಪಿಸಲು ಅನುವು ಮಾಡಿಕೊಡುತ್ತದೆ. ನಿರ್ದಿಷ್ಟ ರೀತಿಯ ಅಸಿಂಕ್ರೋನಸ್ ವ್ಯವಸ್ಥೆಗಳನ್ನು ವಿವರಿಸಲು, ಈ ಮೂಲ ಮಾದರಿಗೆ ಹೆಚ್ಚುವರಿ ರಚನೆಯನ್ನು ಸೇರಿಸಬೇಕು. ಅನಿಯಂತ್ರಿತ ಸಾಪೇಕ್ಷ ವೇಗದಲ್ಲಿ ಕಾರ್ಯನಿರ್ವಹಿಸುವ, ಪರಸ್ಪರ ಸಂವಹನ ನಡೆಸುವ ಪ್ರಕ್ರಿಯೆಗಳು ಮತ್ತು ಸಂದೇಶ ಚಾನೆಲ್ಗಳಂತಹ ವ್ಯವಸ್ಥೆಯ ಘಟಕಗಳ ಬಗ್ಗೆ ವಿವರಿಸಲು ಮತ್ತು ತರ್ಕಿಸಲು ಈ ಮಾದರಿಯು ಸ್ಪಷ್ಟವಾದ ವಿಧಾನವನ್ನು ಒದಗಿಸುತ್ತದೆ. 1987ರಲ್ಲಿ ನ್ಯಾನ್ಸಿ ಎ. ಲಿಂಚ್ ಮತ್ತು ಮಾರ್ಕ್ ಆರ್. ಟಟಲ್ ಅವರು "ಡಿಸ್ಟ್ರಿಬ್ಯೂಟೆಡ್ ಅಲ್ಗಾರಿದಮ್ಗಳಿಗಾಗಿ ಶ್ರೇಣೀಕೃತ ನಿಖರತೆಯ ಪುರಾವೆಗಳು" ಎಂಬ ಕೃತಿಯಲ್ಲಿ ಮೊದಲ ಬಾರಿಗೆ ಐ/ಒ ಆಟೋಮ್ಯಾಟಾವನ್ನು ಪರಿಚಯಿಸಿದರು. ಒಂದು I/O ಸ್ವಯಂಚಾಲಿತ ಯಂತ್ರವು ವ್ಯವಸ್ಥೆಯ ಇತರ ಘಟಕಗಳೊಂದಿಗೆ ಸಂವಹನ ನಡೆಸಬಲ್ಲ ಒಂದು ವಿತರಿಸಿದ ವ್ಯವಸ್ಥೆಯ ಘಟಕವನ್ನು ರೂಪಿಸುತ್ತದೆ. ಇದು ಒಂದು ಸರಳ ರೀತಿಯ ಸ್ಥಿತಿ ಯಂತ್ರವಾಗಿದ್ದು, ಇದರಲ್ಲಿ ಪರಿವರ್ತನೆಗಳು ಹೆಸರಿಸಲಾದ ಕ್ರಿಯೆಗಳೊಂದಿಗೆ ಸಂಬಂಧ ಹೊಂದಿವೆ. ಮೂರು ರೀತಿಯ ಕ್ರಿಯೆಗಳಿವೆಃ ಇನ್ಪುಟ್, ಔಟ್ಪುಟ್ ಮತ್ತು ಆಂತರಿಕ ಕ್ರಿಯೆಗಳು. ಸ್ವಯಂಚಾಲಿತ ಯಂತ್ರವು ತನ್ನ ಪರಿಸರದೊಂದಿಗೆ ಸಂವಹನ ನಡೆಸಲು ತನ್ನ ಇನ್ಪುಟ್ ಮತ್ತು ಔಟ್ಪುಟ್ ಕ್ರಿಯೆಗಳನ್ನು ಬಳಸುತ್ತದೆ, ಆದರೆ ಆಂತರಿಕ ಕ್ರಿಯೆಗಳು ಸ್ವಯಂಚಾಲಿತ ಯಂತ್ರಕ್ಕೆ ಮಾತ್ರ ಗೋಚರಿಸುತ್ತವೆ. ಸ್ವಯಂಚಾಲಿತ ಯಂತ್ರವು ಆಯ್ಕೆ ಮಾಡಿದ ಮತ್ತು ನಿರ್ವಹಿಸುವ ಆಂತರಿಕ ಮತ್ತು ಔಟ್ಪುಟ್ ಕ್ರಿಯೆಗಳಿಗಿಂತ ಭಿನ್ನವಾಗಿ, ಪರಿಸರದಿಂದ ಬರುವ ಇನ್ಪುಟ್ ಕ್ರಿಯೆಗಳು ಸ್ವಯಂಚಾಲಿತ ನಿಯಂತ್ರಣದಲ್ಲಿರುವುದಿಲ್ಲ. ಒಂದು ಪ್ರಕ್ರಿಯೆ, ಸಂದೇಶ ರವಾನೆ ವ್ಯವಸ್ಥೆಯಲ್ಲಿನ ಸಂದೇಶ ಚಾನೆಲ್ ಅಥವಾ ಹಂಚಿಕೆಯ ಮೆಮೊರಿ ವ್ಯವಸ್ಥೆಗಳಲ್ಲಿನ ಹಂಚಿಕೆಯ ದತ್ತಾಂಶ ರಚನೆಯಂತಹ ವಿತರಣಾ ವ್ಯವಸ್ಥೆಯ ಪ್ರತ್ಯೇಕ ಘಟಕಗಳನ್ನು ರೂಪಿಸಲು I/O ಆಟೋಮ್ಯಾಟಾದ ಉದಾಹರಣೆಗಳನ್ನು ಬಳಸಬಹುದು. ಪ್ರಕ್ರಿಯೆ I/O ಸ್ವಯಂಚಾಲಿತ ಚಿತ್ರ 1 ಅಸಿಂಕ್ರೊನಸ್ ಸಂದೇಶ-ಹಾದುಹೋಗುವ ವಿತರಣಾ ವ್ಯವಸ್ಥೆಯಲ್ಲಿನ ಪ್ರಕ್ರಿಯೆಗೆ I/O ಸ್ವಯಂಚಾಲಿತದ ಉದಾಹರಣೆಯನ್ನು ಚಿತ್ರಿಸುತ್ತದೆ. ಈ ವ್ಯವಸ್ಥೆಯಲ್ಲಿ, ಪ್ರಕ್ರಿಯೆ ಪೈ ಸಂದೇಶ ರವಾನೆ ವ್ಯವಸ್ಥೆಯನ್ನು ಬಳಸಿಕೊಂಡು ಇತರ ಪ್ರಕ್ರಿಯೆಗಳೊಂದಿಗೆ ಸಂವಹನ ನಡೆಸುತ್ತದೆ. ಇದರ ಔಟ್ಪುಟ್ ಕ್ರಿಯೆಗಳು ಕಳುಹಿಸುವ (m) i, j ರೂಪದಲ್ಲಿರುತ್ತವೆ, ಇದು Pj ಅನ್ನು ಪ್ರಕ್ರಿಯೆಗೊಳಿಸಲು ವಿಷಯಗಳೊಂದಿಗೆ ಸಂದೇಶವನ್ನು ಕಳುಹಿಸುವ ಪ್ರಕ್ರಿಯೆಯನ್ನು ಸೂಚಿಸುತ್ತದೆ. ಇನ್ಪುಟ್ ಕ್ರಿಯೆಗಳು ಸ್ವೀಕರಿಸುವ (m) k, i ರೂಪದಲ್ಲಿರುತ್ತವೆ, ಇದು ಪ್ರಕ್ರಿಯೆ Pk ಯಿಂದ ಪ್ರಕ್ರಿಯೆ Pi ಮೂಲಕ ವಿಷಯಗಳೊಂದಿಗೆ ಸಂದೇಶದ ರಸೀದಿಯನ್ನು ಪ್ರತಿನಿಧಿಸುತ್ತದೆ. (ಪೈ ನ ಆಂತರಿಕ ಕ್ರಿಯೆಗಳು, ಇದು ಪ್ರಕ್ರಿಯೆಯು ಚಾಲನೆಯಲ್ಲಿರುವ ಅಲ್ಗಾರಿದಮ್ಗೆ ಅನುಗುಣವಾಗಿರುತ್ತದೆ, ಅದನ್ನು ತೋರಿಸಲಾಗಿಲ್ಲ.) ಎಫ್. ಐ. ಎಫ್. ಓ. ಸಂದೇಶ ಚಾನೆಲ್ ಅನ್ನು ಐ/ಒ ಆಟೋಮ್ಯಾಟನ್ನಿಂದಲೂ ರೂಪಿಸಬಹುದು. ಚಿತ್ರ 2, ಸಿ. ಐ., ಜೆ. ಎಂದು ಹೆಸರಿಸಲಾದ ವಿಶಿಷ್ಟವಾದ ಏಕ ದಿಕ್ಕಿನ ಎಫ್. ಐ. ಎಫ್. ಓ. ಚಾನೆಲ್ ಆಟೊಮೇಟನ್ ಅನ್ನು ವಿವರಿಸುತ್ತದೆ. ಇದು ಕಳುಹಿಸುವ (m) i, j ಫಾರ್ಮ್ನ ಇನ್ಪುಟ್ ಕ್ರಿಯೆಗಳನ್ನು ಹೊಂದಿದೆ ಮತ್ತು ಸ್ವೀಕರಿಸುವ (m) i, j ಫಾರ್ಮ್ನ ಔಟ್ಪುಟ್ ಕ್ರಿಯೆಗಳನ್ನು ಹೊಂದಿದೆ. ಪ್ರತಿ m ಸಂದೇಶವು 0 ಅಥವಾ 1 (m ω {0,1}) ಅನ್ನು ಹೊಂದಿರಬಹುದು. ಆಟೋಮ್ಯಾಟನ್ನ ಸ್ಥಿತಿಯು ಕಳುಹಿಸಿದ ಆದರೆ ಇನ್ನೂ ಸ್ವೀಕರಿಸದ ಎಲ್ಲಾ ಸಂದೇಶಗಳ ಫಿಫೋ ಕ್ಯೂ ಅನ್ನು ಸಂಗ್ರಹಿಸುತ್ತದೆ. ಪ್ರಕ್ರಿಯೆ ಆಟೋಮ್ಯಾಟಾ ಮತ್ತು ಸಂವಹನ ಚಾನೆಲ್ ಆಟೋಮ್ಯಾಟಾ ಎರಡೂ ಅಸ್ತಿತ್ವದಲ್ಲಿರುವ ಒಂದು ವಿಶಿಷ್ಟ ವಿತರಣಾ ವ್ಯವಸ್ಥೆಯಲ್ಲಿ, ಅವುಗಳನ್ನು ಒಂದು ಆಟೋಮ್ಯಾಟನ್ನ ಔಟ್ಪುಟ್ ಕ್ರಿಯೆಗಳಿಗೆ ಹೊಂದಿಕೆಯಾಗುವ ರೀತಿಯಲ್ಲಿ ಸಂಯೋಜಿಸಲಾಗುತ್ತದೆ ಮತ್ತು ಇತರ ಆಟೋಮ್ಯಾಟಾದ ಒಂದೇ ಹೆಸರಿನ ಇನ್ಪುಟ್ ಕ್ರಿಯೆಗಳೊಂದಿಗೆ ಕಾರ್ಯಗತಗೊಳಿಸಲಾಗುತ್ತದೆ. ಉದಾಹರಣೆಗೆ, ಪೈ ಮತ್ತು ಪಿಜೆ ಎಂಬ ಎರಡು ಪ್ರಕ್ರಿಯೆಗಳಿಂದ ಕೂಡಿದ ವ್ಯವಸ್ಥೆಯನ್ನು ಮತ್ತು ಪೈ ಪ್ರಕ್ರಿಯೆಯಿಂದ ಪಿಜೆ ಪ್ರಕ್ರಿಯೆಗೆ ಸಂವಹನ ಚಾನೆಲ್ ಸಿಐ, ಜೆ ಅನ್ನು ಪರಿಗಣಿಸಿ. ಈ ಸೆಟ್ಟಿಂಗ್ನಲ್ಲಿ, ಪ್ರಕ್ರಿಯೆ ಪೈ ಔಟ್ಪುಟ್ ಕ್ರಿಯೆಯನ್ನು ಕಾರ್ಯಗತಗೊಳಿಸುತ್ತದೆ ಕಳುಹಿಸಿ (m) i, j, ಚಾನೆಲ್ Ci, j ಸಹ ಅದರ ಕಳುಹಿಸಿ (m) i, j ಇನ್ಪುಟ್ ಕ್ರಿಯೆಯನ್ನು ಕಾರ್ಯಗತಗೊಳಿಸಿದರೆ ಮಾತ್ರ. ಪರಮಾಣು ರೀಡ್/ರೈಟ್ ರಿಜಿಸ್ಟರ್ ಚಿತ್ರ 3, ಪಿ1 ಮತ್ತು ಪಿ2 ಎಂಬ ಎರಡು ಪ್ರಕ್ರಿಯೆಗಳೊಂದಿಗೆ ಹಂಚಿಕೆಯ ಮೆಮೊರಿ ವ್ಯವಸ್ಥೆಯಲ್ಲಿ ಪರಮಾಣು ರೀಡ್/ರೈಟ್ ರಿಜಿಸ್ಟರ್ ಐ/ಒ ಆಟೋಮೇಟನ್ ಅನ್ನು ವಿವರಿಸುತ್ತದೆ. ರಿಜಿಸ್ಟರ್ನಲ್ಲಿ ಸಂಗ್ರಹವಾಗಿರುವ V ಮೌಲ್ಯವು ಪೂರ್ಣಾಂಕದ (V bul Z) ಪ್ರಕಾರದ್ದಾಗಿದೆ. ಆಟೋಮೇಟನ್ನ ಸ್ಥಿತಿಯು ಈ ಮೌಲ್ಯವನ್ನು ಸಂಗ್ರಹಿಸುತ್ತದೆ. ಇನ್ಪುಟ್ ಕ್ರಿಯೆಗಳು ರೈಟಿ (ವಿ) ಅನ್ನು ಒಳಗೊಂಡಿರುತ್ತವೆ, ಇದು ರಿಜಿಸ್ಟರ್ಗೆ ವಿ ಮೌಲ್ಯವನ್ನು ಬರೆಯಲು ವಿನಂತಿಸುವ ಪ್ರಕ್ರಿಯೆ ಪೈ ಅನ್ನು ಪ್ರತಿನಿಧಿಸುತ್ತದೆ (ಇಲ್ಲಿ i ω {1,2} ಮತ್ತು V ω Z), ಮತ್ತು ರೆಡಿ, ಇದು ಪ್ರಸ್ತುತ ರಿಜಿಸ್ಟರ್ನಲ್ಲಿ ಸಂಗ್ರಹವಾಗಿರುವ ಮೌಲ್ಯವನ್ನು ಓದಲು ವಿನಂತಿಸುವ ಪ್ರಕ್ರಿಯೆ ಪೈಗೆ ಅನುರೂಪವಾಗಿದೆ. ಬರವಣಿಗೆ ವಿನಂತಿಯು ಯಶಸ್ವಿಯಾಗಿ ಪೂರ್ಣಗೊಂಡಿದೆ ಎಂದು ಪ್ರಕ್ರಿಯೆ ಪೈಗೆ ತಿಳಿಸಲು ಔಟ್ಪುಟ್ ಆಕ್ಷನ್ ಅಕ್ಕಿಯನ್ನು ಬಳಸಲಾಗುತ್ತದೆ. ಪ್ರಕ್ರಿಯೆಯ ಪೈ ಮೂಲಕ ಓದುವ ವಿನಂತಿಯ ಪ್ರತಿಕ್ರಿಯೆಯಾಗಿ ಹಿಂತಿರುಗಿಸಲಾದ ಮೌಲ್ಯ ವಿ ಅನ್ನು ಔಟ್ಪುಟ್ ಕ್ರಿಯೆಯು ಪ್ರತಿನಿಧಿಸುತ್ತದೆ. ಸ್ವಯಂಚಾಲಿತ ಯಂತ್ರವು ಆಂತರಿಕ ಕ್ರಿಯೆಗಳಾದ ಪರ್ಫಾರ್ಮ್ _ ರೈಟ್ (ವಿ) ಅನ್ನು ಸಹ ಒಳಗೊಂಡಿದೆ, ಇದು ರಿಜಿಸ್ಟರ್ಗೆ ವಿ ಮೌಲ್ಯವನ್ನು ಬರೆಯುತ್ತದೆ (ಸ್ವಯಂಚಾಲಿತ ಯಂತ್ರದ ಸ್ಥಿತಿಯನ್ನು ನವೀಕರಿಸುವ ಮೂಲಕ), ಮತ್ತು ಪರ್ಫಾರ್ಮ್ _ ರೀಡ್, ಇದನ್ನು ರಾಜ್ಯದಲ್ಲಿ ಸಂಗ್ರಹವಾಗಿರುವ ವಿ ಮೌಲ್ಯವನ್ನು ಓದಲು ಬಳಸಲಾಗುತ್ತದೆ. (ಈ ಆಂತರಿಕ ಕ್ರಿಯೆಗಳನ್ನು ಚಿತ್ರ 3ರಲ್ಲಿ ತೋರಿಸಲಾಗಿಲ್ಲ.) ಒಂದು ಐ/ಒ ಆಟೋಮ್ಯಾಟನ್ ಎ, ಅಥವಾ ಸರಳವಾಗಿ ಒಂದು ಆಟೋಮ್ಯಾಟನ್, ಐದು ಘಟಕಗಳನ್ನು ಒಳಗೊಂಡಿರುತ್ತದೆಃ ಸಿಗ್ (ಎ) ಹೇಳುತ್ತದೆ (ಎ) ಪ್ರಾರಂಭ (ಎ) ಟ್ರಾನ್ಸ್ (ಎ) ಕಾರ್ಯಗಳು (ಎ) ಈ ಐದು ಘಟಕಗಳನ್ನು ಕೆಳಗೆ ವಿವರಿಸಲಾಗಿದೆ. ಸಿಗ್ನೇಚರ್ ಐ/ಒ ಆಟೋಮ್ಯಾಟನ್ ಎ ಯ ಔಪಚಾರಿಕತೆಯ ಆರಂಭಿಕ ಹಂತವು ಅದರ ಸಿಗ್ನೇಚರ್, ಸಿಗ್ (ಎ) ನ ವ್ಯಾಖ್ಯಾನವಾಗಿದೆ. ಒಂದು ಸಿಗ್ನೇಚರ್ S, I/O ಆಟೋಮೇಟನ್ನ ಕ್ರಿಯೆಗಳನ್ನು ಮೂರು ವಿಭಿನ್ನ ಕ್ರಿಯೆಗಳನ್ನು ಬಳಸಿಕೊಂಡು ವಿವರಿಸುತ್ತದೆಃ ಇನ್ (S): ಇನ್ಪುಟ್ ಕ್ರಿಯೆಗಳು, ಔಟ್ (S): ಔಟ್ಪುಟ್ ಕ್ರಿಯೆಗಳು, ಮತ್ತು ಇಂಟ್ (S): ಆಂತರಿಕ ಕ್ರಿಯೆಗಳು. ಮೇಲಿನ ಇನ್ಪುಟ್, ಔಟ್ಪುಟ್ ಮತ್ತು ಆಂತರಿಕ ಕ್ರಿಯೆಗಳ ಔಪಚಾರಿಕತೆಯ ಆಧಾರದ ಮೇಲೆ, ಈ ಕೆಳಗಿನ ವಸ್ತುಗಳನ್ನು ವ್ಯಾಖ್ಯಾನಿಸಲು ಸಾಧ್ಯವಿದೆ. ಎಕ್ಸ್ಟ (ಎಸ್): ಬಾಹ್ಯ ಕ್ರಿಯೆಗಳನ್ನು, (ಎಸ್) ≤ ಔಟ್ (ಎಸ್) ಲೋಕಲ್ (ಎಸ್) ನಲ್ಲಿ ವ್ಯಾಖ್ಯಾನಿಸಲಾಗಿದೆಃ ಸ್ಥಳೀಯವಾಗಿ ನಿಯಂತ್ರಿತ ಕ್ರಿಯೆಗಳನ್ನು, ಔಟ್ (ಎಸ್) ≤ ಇಂಟ (ಎಸ್) ಎಕ್ಸ್ಟಿಸಿಗ್ (ಎಸ್) ಎಂದು ವ್ಯಾಖ್ಯಾನಿಸಲಾಗಿದೆಃ ಬಾಹ್ಯ ಸಹಿ, (ಎಸ್), ಔಟ್ (ಎಸ್), ω) ಕ್ರಿಯೆಗಳು (ಎಸ್) ಎಂದು ವ್ಯಾಖ್ಯಾನಿಸಲಾಗಿದೆ, ಇದನ್ನು ಸಿಗ್ನೇಚರ್ ಎಸ್ನ ಎಲ್ಲಾ ಕ್ರಿಯೆಗಳ ಸೆಟ್ ಎಂದು ವ್ಯಾಖ್ಯಾನಿಸಲಾಗಿದೆ. ಇದು ಸೀಮಿತ ಸ್ವಯಂಚಾಲಿತದ ಸಾಮಾನ್ಯ ಕಲ್ಪನೆಯ ಗಮನಾರ್ಹ ಸಾಮಾನ್ಯೀಕರಣವಾಗಿದೆ, ಏಕೆಂದರೆ ಇದು ಕೌಂಟರ್ಗಳು ಮತ್ತು ಮಿತಿಯಿಲ್ಲದ ಉದ್ದದ ಸಾಲುಗಳಂತಹ ಮಿತಿಯಿಲ್ಲದ ದತ್ತಾಂಶ ರಚನೆಗಳೊಂದಿಗೆ ಮಾಡೆಲಿಂಗ್ ವ್ಯವಸ್ಥೆಗಳನ್ನು ಸಕ್ರಿಯಗೊಳಿಸುತ್ತದೆ. ಆರಂಭಿಕ ಸ್ಥಿತಿಗಳ ಸಮೂಹವು (ಆರಂಭಿಕ ಸ್ಥಿತಿಗಳು ಎಂದೂ ಕರೆಯಲ್ಪಡುತ್ತದೆ) ಖಾಲಿ ಇಲ್ಲದ ಸ್ಥಿತಿಗಳ ಉಪಗುಂಪಾಗಿದೆ. ಬಹು ಆರಂಭದ ಸ್ಥಿತಿಗಳನ್ನು ಅನುಮತಿಸಲಾಗಿದೆ, ಇದರಿಂದಾಗಿ ಕೆಲವು ಇನ್ಪುಟ್ ಮಾಹಿತಿಯನ್ನು ಪ್ರಾರಂಭದ ಸ್ಥಿತಿಗಳಲ್ಲಿ ಸೇರಿಸಬಹುದು. ಪರಿವರ್ತನೆಯ ಸಂಬಂಧ ಸ್ವಯಂಚಾಲಿತ ಎ ಯ ಸ್ಥಿತಿ-ಪರಿವರ್ತನೆಯ ಸಂಬಂಧವನ್ನು ಟ್ರಾನ್ಸ್ (ಎ) ಸ್ಟೇಟ್ಸ್ (ಎ) × ಆಕ್ಟ್ಸ್ (ಸಿಗ್ (ಎ)) × ಸ್ಟೇಟ್ಸ್ (ಎ) ಎಂದು ಸೂಚಿಸಲಾಗುತ್ತದೆ. ಇದು "ಪ್ರತಿ ಸ್ಥಿತಿ s ಮತ್ತು ಪ್ರತಿ ಇನ್ಪುಟ್ ಕ್ರಿಯೆ π ಗೆ, ಒಂದು ಪರಿವರ್ತನೆ (s, π, s ') bul ಟ್ರಾನ್ಸ್ (A) ಇದೆ" ಎಂಬ ಗುಣವನ್ನು ತೃಪ್ತಿಪಡಿಸುತ್ತದೆ. I/O ಆಟೋಮ್ಯಾಟನ್ A ಯ ಹಂತ ಎಂದೂ ಕರೆಯಲಾಗುವ ಪರಿವರ್ತನೆಯನ್ನು ಟ್ರಾನ್ಸ್ (A) ನ ಅಂಶ (ಗಳು, π, s ') ಎಂದು ವ್ಯಾಖ್ಯಾನಿಸಲಾಗಿದೆ. ಇನ್ಪುಟ್ ಪರಿವರ್ತನೆಯು π ಇನ್ಪುಟ್ ಕ್ರಿಯೆಯಾದಾಗ ಪರಿವರ್ತನೆಯನ್ನು (s, π, s ') ಸೂಚಿಸುತ್ತದೆ, ಔಟ್ಪುಟ್ ಪರಿವರ್ತನೆಯು π ಔಟ್ಪುಟ್ ಕ್ರಿಯೆಯಾದಾಗ ಪರಿವರ್ತನೆಯನ್ನು (s, π, s') ಸೂಚಿಸುತ್ತದೆ. ಯಾವುದೇ ಸ್ಥಿತಿ s ಮತ್ತು ಕ್ರಿಯೆ π ಗೆ, I/O ಸ್ವಯಂಚಾಲಿತ A ರೂಪದ (s, π, s ') ಕೆಲವು ಪರಿವರ್ತನೆಯನ್ನು ಹೊಂದಿದ್ದರೆ, ನಂತರ π ಅನ್ನು s ನಲ್ಲಿ ಸಕ್ರಿಯಗೊಳಿಸಲಾಗಿದೆ ಎಂದು ಹೇಳಲಾಗುತ್ತದೆ. I/O ಸ್ವಯಂಚಾಲಿತವನ್ನು ಇನ್ಪುಟ್-ಸಕ್ರಿಯಗೊಳಿಸಲಾಗಿದೆ ಎಂದು ವಿವರಿಸಲಾಗಿದೆ ಏಕೆಂದರೆ ಎಲ್ಲಾ ಇನ್ಪುಟ್ ಕ್ರಿಯೆಗಳನ್ನು ಪ್ರತಿ ಸ್ಥಿತಿಯಲ್ಲಿ ಸಕ್ರಿಯಗೊಳಿಸಬೇಕಾಗುತ್ತದೆ. ನಿಶ್ಯಬ್ದ ಸ್ಥಿತಿಯನ್ನು ಇನ್ಪುಟ್ ಕ್ರಿಯೆಗಳನ್ನು ಮಾತ್ರ ಸಕ್ರಿಯಗೊಳಿಸಿದ ಸ್ಥಿತಿ ಎಂದು ವ್ಯಾಖ್ಯಾನಿಸಲಾಗಿದೆ. ಕಾರ್ಯಗಳು I/O ಸ್ವಯಂಚಾಲಿತ A ಯ ಐದನೇ ಘಟಕವಾದ ಕಾರ್ಯಗಳು (A), ಒಂದು ಕಾರ್ಯ ವಿಭಾಗವಾಗಿದ್ದು, ಇದನ್ನು A ಯ ಸ್ಥಳೀಯವಾಗಿ ನಿಯಂತ್ರಿತ ಕ್ರಿಯೆಗಳ ಮೇಲಿನ ಸಮಾನತೆಯ ಸಂಬಂಧ ಎಂದು ವ್ಯಾಖ್ಯಾನಿಸಲಾಗಿದೆ, ಇದು ಹೆಚ್ಚಿನ ಸಂಖ್ಯೆಯಲ್ಲಿ ಅನೇಕ ಸಮಾನತೆಯ ವರ್ಗಗಳನ್ನು ಹೊಂದಿದೆ. ಅನೌಪಚಾರಿಕವಾಗಿ, ಕಾರ್ಯ ವಿಭಜನೆಯ ಕಾರ್ಯಗಳು (ಎ), ಎ ಒಳಗೆ "ಕಾರ್ಯಗಳು" ಅಥವಾ "ನಿಯಂತ್ರಣದ ಎಳೆಗಳ" ಅಮೂರ್ತ ವಿವರಣೆಯನ್ನು ಪ್ರತಿನಿಧಿಸುತ್ತದೆ. ಸ್ವಯಂಚಾಲಿತ ಯಂತ್ರದ ಕಾರ್ಯಗತಗೊಳಿಸುವಿಕೆಯ ಮೇಲೆ ನ್ಯಾಯೋಚಿತ ಷರತ್ತುಗಳನ್ನು ವ್ಯಾಖ್ಯಾನಿಸಲು ಈ ವಿಭಾಗವನ್ನು ಬಳಸಲಾಗುತ್ತದೆ. ಈ ಷರತ್ತುಗಳಿಗೆ ಸ್ವಯಂಚಾಲಿತ ಯಂತ್ರವು ಅದರ ಕಾರ್ಯಗತಗೊಳಿಸುವ ಸಮಯದಲ್ಲಿ ಅದರ ಪ್ರತಿಯೊಂದು ಕಾರ್ಯಕ್ಕೂ ನ್ಯಾಯಯುತ ತಿರುವುಗಳನ್ನು ನೀಡುವುದನ್ನು ಮುಂದುವರಿಸಬೇಕಾಗುತ್ತದೆ. ಬಹು ಕಾರ್ಯಗಳನ್ನು ನಿರ್ವಹಿಸುವ ವ್ಯವಸ್ಥೆಯ ಘಟಕವನ್ನು ರೂಪಿಸುವಾಗ ಇದು ವಿಶೇಷವಾಗಿ ಸಹಾಯಕವಾಗುತ್ತದೆ. ಉದಾಹರಣೆಗೆ, ಅದರ ಪರಿಸರಕ್ಕೆ ನಿಯತಕಾಲಿಕವಾಗಿ ಸ್ಥಿತಿ ಮಾಹಿತಿಯನ್ನು ವರದಿ ಮಾಡುವಾಗ ನಡೆಯುತ್ತಿರುವ ಅಲ್ಗಾರಿದಮ್ನಲ್ಲಿ ಭಾಗವಹಿಸುವ ಘಟಕವು ಎರಡು ಕಾರ್ಯಗಳನ್ನು ಹೊಂದಿರುತ್ತದೆ. ಸಂಯೋಜನೆಯಲ್ಲಿನ ಎಲ್ಲಾ ಆಟೋಮ್ಯಾಟಾಗಳು ಸಂಯೋಜಿತ ವ್ಯವಸ್ಥೆಯಲ್ಲಿ ಹಂತಗಳನ್ನು ತೆಗೆದುಕೊಳ್ಳುವುದನ್ನು ಮುಂದುವರಿಸುತ್ತವೆ ಎಂದು ನಿರ್ದಿಷ್ಟಪಡಿಸುವಾಗ ಹಲವಾರು ಆಟೋಮ್ಯಾಟಾಗಳನ್ನು ರಚಿಸಿದಾಗ (ದೊಡ್ಡ ಸಿಸ್ಟಮ್ ಆಟೋಮ್ಯಾಟನ್ ಅನ್ನು ಉತ್ಪಾದಿಸಲು) ವಿಭಾಗವು ಉಪಯುಕ್ತವಾಗಿದೆ. ಉದಾಹರಣೆಃ ಚಾನೆಲ್ I/O ಆಟೋಮ್ಯಾಟನ್ನ ಔಪಚಾರಿಕ ವ್ಯಾಖ್ಯಾನ ಮೇಲೆ ವಿವರಿಸಿದಂತೆ, Ci, j ಎಂಬುದು I/O ಆಟೋಮ್ಯಾಟನ್ನ ಒಂದು ಉದಾಹರಣೆಯಾಗಿದ್ದು, ಇದು ಪ್ರಕ್ರಿಯೆಯ ಪೈನಿಂದ Pj ಅನ್ನು ಸಂಸ್ಕರಿಸುವವರೆಗೆ ಏಕ ದಿಕ್ಕಿನ ಫಿಫೋ ಚಾನೆಲ್ ಅನ್ನು ಪ್ರತಿನಿಧಿಸುತ್ತದೆ. m ಒಂದು ಬೈನರಿ ಸಂದೇಶವಾಗಿರಲಿಃ m bul {0,1}. ಸ್ವಯಂಚಾಲಿತ Ci, j ಅನ್ನು ಈ ಕೆಳಗಿನಂತೆ ಔಪಚಾರಿಕವಾಗಿ ವ್ಯಾಖ್ಯಾನಿಸಬಹುದು. ಸಿಗ್ನೇಚರ್ಃ ಸಿಗ್ (ಸಿಐ, ಜೆ) ಸ್ವಯಂಚಾಲಿತ ಯಂತ್ರವು ಎರಡು ರೀತಿಯ ಕ್ರಿಯೆಗಳನ್ನು ಹೊಂದಿದೆ ಎಂದು ನಿರ್ದಿಷ್ಟಪಡಿಸುತ್ತದೆಃ (ಸಿಐ, ಜೆ) ನ ಇನ್ಪುಟ್ ಕ್ರಿಯೆಯು ಕಳುಹಿಸುವ (ಎಂ) ಐ, ಜೆ ರೂಪದಲ್ಲಿದೆ, ಅಲ್ಲಿ ಎಂ. (Ci, j) ನ ಔಟ್ಪುಟ್ ಕ್ರಿಯೆಯು ರಿಸೀವ್ (m) i, j ರೂಪದಲ್ಲಿದೆ, ಇಲ್ಲಿ m ω {0,1} ಆಗಿದೆ. ಅಂತರ್ಬೋಧೆಯಿಂದ, ಕಳುಹಿಸುವ (m) i, j ಕ್ರಿಯೆಯು ಪ್ರಕ್ರಿಯೆಯ ಮೂಲಕ ಕಳುಹಿಸಿದಾಗ m ಸಂದೇಶವು ಚಾನಲ್ ಅನ್ನು ಪ್ರವೇಶಿಸಿದೆ ಎಂದು ಸೂಚಿಸುತ್ತದೆ ಮತ್ತು ಸ್ವೀಕರಿಸುವ (m) i, j ಕ್ರಿಯೆಯು Pj ಅನ್ನು ಪ್ರಕ್ರಿಯೆಗೊಳಿಸಲು ತಲುಪಿಸಿದಾಗ m ಸಂದೇಶವು ಚಾನಲ್ ಅನ್ನು ತೊರೆದಿದೆ ಎಂದು ಸೂಚಿಸುತ್ತದೆ. ಸ್ಥಿತಿಗಳುಃ ಸ್ಥಿತಿಗಳು (Ci, j) ಎಂಬುದು m ω {0,1} ಅಂಶಗಳ ಎಲ್ಲಾ ಸೀಮಿತ ಅನುಕ್ರಮಗಳ ಸಮೂಹವಾಗಿದೆ. ಅಂತರ್ಬೋಧೆಯಿಂದ, ರಾಜ್ಯವು ಕಳುಹಿಸುವವರಿಂದ ಪ್ರಸ್ತುತ ಹಾದಿಯಲ್ಲಿರುವ ಸಂದೇಶಗಳ ಅನುಕ್ರಮವನ್ನು ಪ್ರತಿನಿಧಿಸುತ್ತದೆ, ಪಿಐ ಅನ್ನು ಪ್ರಕ್ರಿಯೆಗೊಳಿಸಿ, ಸ್ವೀಕರಿಸುವವರಿಗೆ, ಪಿಜೆ ಅನ್ನು ಪ್ರಕ್ರಿಯೆಗೊಳಿಸಿ, ಅವುಗಳನ್ನು ಕಳುಹಿಸಿದ ಕ್ರಮದಲ್ಲಿ. ಸರತಿಯ ಆರಂಭಿಕ ಸ್ಥಿತಿಗಳನ್ನು ಪ್ರತಿನಿಧಿಸುವ ಪ್ರಾರಂಭವು (ಸಿಐ, ಜೆ) ಖಾಲಿ ಅನುಕ್ರಮವನ್ನು ಮಾತ್ರ ಹೊಂದಿರುತ್ತದೆ. ಪರಿವರ್ತನೆಗಳು ಪರಿವರ್ತನೆಯ ಸಂಬಂಧವನ್ನು ಪೂರ್ವ ಷರತ್ತು-ಪರಿಣಾಮದ ಶೈಲಿಯಲ್ಲಿ ರೂಪಿಸಬಹುದು, ಅಲ್ಲಿ ಪ್ರತಿಯೊಂದು ನಿರ್ದಿಷ್ಟ ರೀತಿಯ ಕ್ರಿಯೆಯನ್ನು ಒಳಗೊಂಡಿರುವ ಎಲ್ಲಾ ಪರಿವರ್ತನೆಗಳನ್ನು ಒಂದೇ ಕೋಡ್ ಆಗಿ ವರ್ಗೀಕರಿಸಲಾಗುತ್ತದೆ. ಈ ಸಂಹಿತೆಯಲ್ಲಿ, ಒಂದು ಕ್ರಮವು ಸಂಭವಿಸಲು ಅವಕಾಶ ನೀಡುವ ಮೊದಲು ಪೂರೈಸಬೇಕಾದ ಷರತ್ತುಗಳನ್ನು ಪೂರ್ವ-ಸ್ಥಿತಿಯ ಮೇಲೆ ಪೂರ್ವಸೂಚಿಯಾಗಿ ಔಪಚಾರಿಕಗೊಳಿಸಲಾಗುತ್ತದೆ, ಇದು ಕ್ರಮವು ಸಂಭವಿಸುವ ಮೊದಲು ಸ್ಥಿತಿಯಾಗಿದೆ. ಕ್ರಿಯೆಯ ಕಾರ್ಯಗತಗೊಳಿಸುವಿಕೆಯಿಂದ ಉಂಟಾಗುವ ರಾಜ್ಯದ ನಂತರದ ಬದಲಾವಣೆಗಳನ್ನು ಸರಳ ಕಾರ್ಯಕ್ರಮದ ರೂಪದಲ್ಲಿ ಸಂಕೇತಿಸಲಾಗುತ್ತದೆ. ಈ ಕಾರ್ಯಕ್ರಮವನ್ನು ಏಕೈಕ ಪರಿವರ್ತನೆಯಾಗಿ ಅವಿಭಾಜ್ಯವಾಗಿ ಕಾರ್ಯಗತಗೊಳಿಸಲಾಗುತ್ತದೆ. ಈ ಕಾರ್ಯಕ್ರಮವನ್ನು ರಾಜ್ಯಗಳಿಗೆ ಅನ್ವಯಿಸಿದರೆ, ಹೊಸ ರಾಜ್ಯಗಳು ಫಲಿತಾಂಶಗಳನ್ನು ನೀಡುತ್ತವೆ. Ci, j ನ ಪರಿವರ್ತನೆಗಳನ್ನು ಹೀಗೆ ವಿವರಿಸಲಾಗಿದೆಃ ಕಳುಹಿಸಲು (m) i, j: ಪೂರ್ವ ಷರತ್ತುಃ ಯಾವುದೇ ಪರಿಣಾಮವಿಲ್ಲಃ ಸ್ವೀಕರಿಸಲು (m) i ಸ್ಥಿತಿಯಲ್ಲಿ ಸಂಗ್ರಹಿಸಲಾದ ಅನುಕ್ರಮದ ಕೊನೆಯಲ್ಲಿ m ಅನ್ನು ಸೇರಿಸಲಾಗುತ್ತದೆ (ಅಲ್ಲಿ m Π {1,0}), j: ಪೂರ್ವ ಷರತ್ತುಃ m ಸ್ಥಿತಿಯಲ್ಲಿ ಸಂಗ್ರಹಿಸಲಾದ ಅನುಕ್ರಮದಲ್ಲಿ ಮೊದಲ ಅಂಶವಾಗಿದೆ (ಅಲ್ಲಿ m Π {1,0}) ಪರಿಣಾಮಃ ಸ್ಥಿತಿಯಲ್ಲಿ ಸಂಗ್ರಹಿಸಲಾದ ಅನುಕ್ರಮದ ಮೊದಲ ಅಂಶವನ್ನು ಅಂತರ್ಬೋಧೆಯಿಂದ ತೆಗೆದುಹಾಕಿ, ಕಳುಹಿಸುವ ಕ್ರಿಯೆಯನ್ನು ಯಾವುದೇ ಸಮಯದಲ್ಲಿ ಕಾರ್ಯಗತಗೊಳಿಸಬಹುದು; ಇದು ಚೆ ಚಾನೆಲ್ನಲ್ಲಿನ ಸಂದೇಶಗಳ ಸರತಿಯ ಕೊನೆಯಲ್ಲಿ m ಸಂದೇಶವನ್ನು ಸೇರಿಸಲು ಕಾರಣವಾಗುತ್ತದೆ. ಸ್ವೀಕರಿಸುವ ಕ್ರಿಯೆಯು ಸರತಿಯ ಮೊದಲ ಅಂಶವನ್ನು ತೆಗೆದುಹಾಕುತ್ತದೆ ಮತ್ತು ಹಿಂದಿರುಗಿಸುತ್ತದೆ. ಕಾರ್ಯಗಳ ಕಾರ್ಯಗಳು (ಸಿ. ಐ, ಜೆ), ಕಾರ್ಯ ವಿಭಾಗವನ್ನು ಪ್ರತಿನಿಧಿಸುತ್ತವೆ, ಅದು ಸ್ವೀಕರಿಸುವ ಎಲ್ಲಾ ಕ್ರಿಯೆಗಳನ್ನು ಒಂದೇ ಕಾರ್ಯವಾಗಿ ಒಟ್ಟುಗೂಡಿಸುತ್ತದೆ. ಅಂತರ್ಬೋಧೆಯಿಂದ, ಪಿಜೆಯನ್ನು ಪ್ರಕ್ರಿಯೆಗೊಳಿಸಲು ಸಂದೇಶಗಳನ್ನು ಹಸ್ತಾಂತರಿಸುವುದನ್ನು ಒಂದೇ ಕಾರ್ಯವೆಂದು ಪರಿಗಣಿಸಲಾಗುತ್ತದೆ. {ರಿಸೀವ್ (m) i, j: m bul {0,1}}. ಕಾರ್ಯಗತಗೊಳಿಸುವಿಕೆ ಮತ್ತು ಜಾಡಿನ ಕಾರ್ಯಗತಗೊಳಿಸುವಿಕೆ ಸ್ವಯಂಚಾಲಿತ ಯಂತ್ರದ ಚಾಲನೆಯಲ್ಲಿ, ಸ್ವಯಂಚಾಲಿತ ಯಂತ್ರದ ಮಾದರಿಗಳ ಅಂಶದ ನಡವಳಿಕೆಯನ್ನು ವಿವರಿಸುವ ಸ್ಟ್ರಿಂಗ್ ಅನ್ನು ಉತ್ಪಾದಿಸಲಾಗುತ್ತದೆ. "I/O ಆಟೋಮೇಟನ್ A ಯ ಕಾರ್ಯಗತಗೊಳಿಸುವ ತುಣುಕು ಒಂದು ಸೀಮಿತ ಅನುಕ್ರಮವಾಗಿದೆ, s0, π1, s1, π2,., πr, sr, ಅಥವಾ ಅನಂತ ಅನುಕ್ರಮ, s0, π1, s1, π2,., πr, sr,., ಪರ್ಯಾಯ ಸ್ಥಿತಿಗಳು ಮತ್ತು A ಯ ಕ್ರಿಯೆಗಳ (sk, πk + 1, sk + 1) ಪ್ರತಿ k ≤0 ಗೆ A ಯ ಪರಿವರ್ತನೆಯಾಗಿದೆ". ಒಂದು ಸೀಮಿತ ಅನುಕ್ರಮವು ಒಂದು ಸ್ಥಿತಿಯೊಂದಿಗೆ ಕೊನೆಗೊಳ್ಳಬೇಕು. ಕಾರ್ಯಗತಗೊಳಿಸುವಿಕೆಯನ್ನು ಪ್ರಾರಂಭದ ಸ್ಥಿತಿಯಿಂದ ಪ್ರಾರಂಭವಾಗುವ ಕಾರ್ಯಗತಗೊಳಿಸುವ ತುಣುಕು ಎಂದು ವ್ಯಾಖ್ಯಾನಿಸಲಾಗಿದೆ. ಎ ಯ ಮರಣದಂಡನೆಯ ಗುಂಪನ್ನು ಎಕ್ಸಿಕ್ಯುಟ್ಸ್ (ಎ) ಪ್ರತಿನಿಧಿಸುತ್ತದೆ. I/O ಆಟೋಮ್ಯಾಟನ್ A ಯಲ್ಲಿ ತಲುಪಬಹುದಾದ ಸ್ಥಿತಿಯು A ಯ ಸೀಮಿತ ಕಾರ್ಯಗತಗೊಳಿಸುವಿಕೆಯ ಅಂತಿಮ ಸ್ಥಿತಿಯಾಗಿದೆ. α ಎಂಬುದು ಸ್ಟೇಟ್ sf ನೊಂದಿಗೆ ಕೊನೆಗೊಳ್ಳುವ A ಯ ಸೀಮಿತ ಕಾರ್ಯಗತಗೊಳಿಸುವ ತುಣುಕು ಎಂದು ಭಾವಿಸಿ. α 'ಎಂಬುದು α ನ ಕೊನೆಯ ಸ್ಥಿತಿಯಾದ sf ನಿಂದ ಪ್ರಾರಂಭವಾಗುವ A ಯ ಯಾವುದೇ ಕಾರ್ಯಗತಗೊಳಿಸುವ ತುಣುಕು ಎಂದು ಭಾವಿಸಿ. ಈ ಸಂದರ್ಭದಲ್ಲಿ, α ಮತ್ತು α 'ಅನ್ನು ಸಂಯೋಜಿಸುವ ಮೂಲಕ ಮತ್ತು α ನ ಕೊನೆಯ ಸ್ಥಿತಿಯಾದ sf ನ ನಕಲು ಸಂಭವವನ್ನು ತೆಗೆದುಹಾಕುವ ಮೂಲಕ ಉತ್ಪತ್ತಿಯಾಗುವ ಅನುಕ್ರಮವನ್ನು α' ಪ್ರತಿನಿಧಿಸುತ್ತದೆ. ಈ ಅನುಕ್ರಮವು I/O ಆಟೋಮ್ಯಾಟನ್ A ಯ ಕಾರ್ಯಗತಗೊಳಿಸುವ ತುಣುಕು ಆಗಿದೆ. I/O ಆಟೋಮ್ಯಾಟನ್ A ಯ ಕುರುಹು ಎಂದರೆ A ಯ ಕೆಲವು ಕಾರ್ಯಗತಗೊಳಿಸುವ α ನಲ್ಲಿ ಸಂಭವಿಸುವ ಬಾಹ್ಯ ಕ್ರಿಯೆಗಳ ಅನುಕ್ರಮವಾಗಿದೆ. ಎ ಯ ಎಲ್ಲಾ ಕುರುಹುಗಳ ಗುಂಪನ್ನು ಕುರುಹುಗಳಾಗಿ (ಎ) ಪ್ರತಿನಿಧಿಸಲಾಗುತ್ತದೆ. ಉದಾಹರಣೆಃ ಮೂರು ಮರಣದಂಡನೆಗಳು-a, b ಮತ್ತು c-ಇವು ಚಾನೆಲ್ I/O ಆಟೋಮೇಟನ್ನ ಔಪಚಾರಿಕ ವ್ಯಾಖ್ಯಾನದಲ್ಲಿ ವಿವರಿಸಲಾದ ಸ್ವಯಂಚಾಲಿತ Ci, j ನ ಮೂರು ಮರಣದಂಡನೆಗಳಾಗಿವೆ (ಇಲ್ಲಿ ಸಂದೇಶ m bul {0,1}). ಈ ಉದಾಹರಣೆಯಲ್ಲಿ, ಸಂದೇಶಗಳ ಅನುಕ್ರಮವನ್ನು ಚೌಕಟ್ಟಿನಲ್ಲಿ ಇರಿಸುವ ಮೂಲಕ ಸ್ಥಿತಿಗಳನ್ನು ಸೂಚಿಸಲಾಗುತ್ತದೆ; ಖಾಲಿ ಅನುಕ್ರಮವನ್ನು λ ಪ್ರತಿನಿಧಿಸುತ್ತದೆ. (ಎ) [λ], ಕಳುಹಿಸಿ (1) ಐ, ಜೆ, [1], ಸ್ವೀಕರಿಸಿ (1) ಐ, ಜೆ, [λ], ಕಳುಹಿಸಿ (0) ಐ, ಜೆ, [0], ಸ್ವೀಕರಿಸಿ (0) ಐ, ಜೆ, [λ] (ಬಿ) [λ], ಕಳುಹಿಸಿ (1) ಐ, ಜೆ, [1], ಸ್ವೀಕರಿಸಿ (1) ಐ, ಜೆ, [λ], ಕಳುಹಿಸಿ (0) ಐ, ಜೆ, [0] (ಸಿ) [λ], ಕಳುಹಿಸಿ (1) ಐ, ಜೆ, [1], ಕಳುಹಿಸಿ (1) ಐ, ಜೆ, [1], ಕಳುಹಿಸಿ (1) ಐ, ಜೆ, [11], ಕಳುಹಿಸಿ (1) ಐ, ಜೆ, [11], ಕಳುಹಿಸಿ (0) ಐ, ಜೆ, [110]. ಈ ಸಂದರ್ಭದಲ್ಲಿ, ಪ್ರತಿ ಘಟಕ ಆಟೋಮ್ಯಾಟಾದಲ್ಲಿ ಒಂದೇ ಹೆಸರನ್ನು ಹೊಂದಿರುವ ಕ್ರಿಯೆಗಳನ್ನು ಒಟ್ಟಿಗೆ ಗುರುತಿಸಲಾಗುತ್ತದೆ. ಆದ್ದರಿಂದ, ಒಂದು ಘಟಕ ಆಟೋಮ್ಯಾಟಾವು π ಕ್ರಿಯೆಯನ್ನು ಒಳಗೊಂಡಿರುವ ಒಂದು ಹಂತವನ್ನು ತೆಗೆದುಕೊಂಡಾಗ, ಅವುಗಳ ಸಹಿಯಲ್ಲಿ π ಹೊಂದಿರುವ ಎಲ್ಲಾ ಇತರ ಘಟಕ ಆಟೋಮ್ಯಾಟಾಗಳು ಸಹ ಆ ಕ್ರಿಯೆಯನ್ನು ನಿರ್ವಹಿಸುತ್ತವೆ. 'ಎ' ಮತ್ತು 'ಎ' ಯ ಸಂಯೋಜನೆಗೆ ಅನುಮತಿಸಬೇಕಾದ ಷರತ್ತುಗಳನ್ನು ಈ ಕೆಳಗಿನಂತೆ ವಿವರಿಸಲಾಗಿದೆಃ 'ಎ' ಯ ಆಂತರಿಕ ಕ್ರಿಯೆಗಳು 'ಎ' ಯ ಕ್ರಿಯೆಗಳಿಂದ ಬೇರ್ಪಡಬೇಕು. ಇದು ಎ 'ಯಲ್ಲಿನ ಒಂದು ಹಂತದ ಕಾರ್ಯಕ್ಷಮತೆಯನ್ನು ತಡೆಯುತ್ತದೆ, ಎ' ಯ ಆಂತರಿಕ ಕ್ರಿಯೆಗಳನ್ನು-ಎ 'ಯ ಕ್ರಿಯೆಗಳ ಅದೇ ಹೆಸರಿನೊಂದಿಗೆ-ನಿರ್ವಹಿಸಿದಾಗ. ಎ ಮತ್ತು ಎ 'ನ ಔಟ್ಪುಟ್ ಕ್ರಿಯೆಗಳು ಬೇರೆಯಾಗಿರಬೇಕು. ಈ ಸ್ಥಿತಿಯು ಔಟ್ಪುಟ್ ಕ್ರಿಯೆಯ ಕಾರ್ಯಕ್ಷಮತೆಯನ್ನು ಕೇವಲ ಒಂದು ಘಟಕ ಸ್ವಯಂಚಾಲಿತವಾಗಿ ನಿಯಂತ್ರಿಸುತ್ತದೆ ಎಂಬುದನ್ನು ಖಾತ್ರಿಪಡಿಸುತ್ತದೆ. ಸಂಯೋಜನೆಯನ್ನು ಲೆಕ್ಕವಿಲ್ಲದಷ್ಟು ಅನಂತವಾದ ಸ್ವಯಂಚಾಲಿತ ಸಂಗ್ರಹದಿಂದ ನಿರ್ಮಿಸಿದರೆ, ಹೆಚ್ಚುವರಿ ನಿರ್ಬಂಧವಿದೆಃ ಪ್ರತಿ ಕ್ರಿಯೆಯು ಸೀಮಿತವಾಗಿ ಅನೇಕ ಘಟಕಗಳ ಸ್ವಯಂಚಾಲಿತ ಕ್ರಿಯೆಯಾಗಿರಬೇಕು. ಆಟೋಮಾಟಾದ ಅನಂತ ಸಂಯೋಜನೆಯು ಅನೇಕ ತಾರ್ಕಿಕ ಘಟಕಗಳಿಂದ ನಿರ್ಮಿಸಬಹುದಾದ ತಾರ್ಕಿಕ ವ್ಯವಸ್ಥೆಗಳ ಮಾದರಿಯನ್ನು ಅನುಮತಿಸುತ್ತದೆ. ತಾರ್ಕಿಕ ವ್ಯವಸ್ಥೆಯನ್ನು ಸಾಮಾನ್ಯವಾಗಿ ಕಡಿಮೆ ಘಟಕಗಳನ್ನು ಹೊಂದಿರುವ ಭೌತಿಕ ವ್ಯವಸ್ಥೆಯಲ್ಲಿ ಅಳವಡಿಸಲಾಗುತ್ತದೆ. ಉದಾಹರಣೆಃ ಸಂಯೋಜನೆ ಚಿತ್ರ 4 ಎರಡು ಪ್ರಕ್ರಿಯೆಗಳ ಸಂಯೋಜನೆಯನ್ನು ಚಿತ್ರಿಸುತ್ತದೆ, ಪೈ ಮತ್ತು ಪಿಜೆ ಮತ್ತು ಫಿಫೋ ಸಂದೇಶ ಚಾನೆಲ್ ಸಿಐ, ಜೆ, ಒಂದು ಆಟೋಮ್ಯಾಟನ್ನ ಔಟ್ಪುಟ್ ಕ್ರಿಯೆಗಳನ್ನು ಇತರ ಆಟೋಮ್ಯಾಟಾದ ಒಂದೇ ಹೆಸರಿನ ಇನ್ಪುಟ್ ಕ್ರಿಯೆಗಳೊಂದಿಗೆ ಹೊಂದಿಸುತ್ತದೆ. ಹೀಗಾಗಿ, ಪೈ ಪ್ರಕ್ರಿಯೆಯಿಂದ ನಡೆಸಲ್ಪಡುವ ಕಳುಹಿಸುವ (m) i, j ಔಟ್ಪುಟ್ ಅನ್ನು ಸರಿಹೊಂದಿಸಲಾಗುತ್ತದೆ ಮತ್ತು Ci, j ಚಾನೆಲ್ ನಿರ್ವಹಿಸುವ ಕಳುಹಿಸುವ (m) i, j ಇನ್ಪುಟ್ನೊಂದಿಗೆ ನಿರ್ವಹಿಸಲಾಗುತ್ತದೆ. ಪ್ರಕ್ರಿಯೆ ಪೈ ಸಂದೇಶವನ್ನು m ಅನ್ನು ಕಳುಹಿಸುತ್ತದೆ, ಅಲ್ಲಿ m bul {1,0} ಚಾನೆಲ್ Ci ಮೂಲಕ, j ಅನ್ನು ಪ್ರಕ್ರಿಯೆ Pj ಗೆ ಕಳುಹಿಸುತ್ತದೆ. ಪ್ರಕ್ರಿಯೆಯು ಪಿಜೆ ತನ್ನ ಆಂತರಿಕ ಕ್ರಿಯೆಯ ಹಿಮ್ಮುಖವನ್ನು ಬಳಸಿಕೊಂಡು ಪೈನಿಂದ ಸ್ವೀಕರಿಸಿದ ಸಂದೇಶದಲ್ಲಿ ಬಿಟ್ ಅನ್ನು ಹಿಮ್ಮುಖಗೊಳಿಸುತ್ತದೆ-ಚಿತ್ರದಲ್ಲಿ ತೋರಿಸಲಾಗಿಲ್ಲ-ಮತ್ತು ಸಂದೇಶವನ್ನು ಸಿಸ್ಟಮ್ನ ಇತರ ಭಾಗಗಳಿಗೆ ಫಾರ್ವರ್ಡ್ ಮಾಡುತ್ತದೆ. ಕಾರ್ಯಾಚರಣೆಯನ್ನು ಮರೆಮಾಡುವುದು "ಅವುಗಳನ್ನು ಆಂತರಿಕ ಕ್ರಿಯೆಗಳೆಂದು ಮರು ವರ್ಗೀಕರಿಸುವ" ಮೂಲಕ I/O ಸ್ವಯಂಚಾಲಿತದ ಔಟ್ಪುಟ್ ಕ್ರಿಯೆಗಳನ್ನು ಮರೆಮಾಡಲು ಸಾಧ್ಯವಿದೆ. ಇದು ವ್ಯವಸ್ಥೆಯ ಇತರ ಭಾಗಗಳೊಂದಿಗೆ ಸಂವಹನದಿಂದ ಅವರನ್ನು ಹೊರಗಿಡುವ ಪರಿಣಾಮವನ್ನು ಹೊಂದಿದೆ. ಔಪಚಾರಿಕವಾಗಿ, ಸಹಿಗಳಿಗಾಗಿ ಮರೆಮಾಚುವ ಕಾರ್ಯಾಚರಣೆಯನ್ನು ಈ ಕೆಳಗಿನಂತೆ ವಿವರಿಸಲಾಗಿದೆಃ ಎಸ್ ಒಂದು ಸಹಿ ಮತ್ತು φ ಔಟ್ (ಎಸ್) ಆಗಿರಲಿ. ಹೈಡ್ಫೈ (ಎಸ್) ಎಂಬುದು ಹೊಸ ಸಿಗ್ನೇಚರ್ ಎಸ್ 'ಆಗಿದೆ, ಅಲ್ಲಿ (ಎಸ್') = ಇನ್ (ಎಸ್) ಔಟ್ (ಎಸ್ ') = ಔಟ್ (ಎಸ್)-ಇಂಟ (ಎಸ್) = ಇಂಟ (ಎಸ್) ≤ ಆದ್ದರಿಂದ, "ಎ ಒಂದು ಆಟೋಮ್ಯಾಟನ್ ಆಗಿದ್ದರೆ ಮತ್ತು φ ಔಟ್ (ಎ) ಆಗಿದ್ದರೆ, ಹೈಡ್ಫೈ (ಎ) ಎಂಬುದು ಸಿಗ್ (ಎ) ಅನ್ನು ಸಿಗ್ (ಎ') = ಹೈಡ್ಫೈ (ಸಿಗ್ (ಎ)) ನೊಂದಿಗೆ ಬದಲಾಯಿಸುವ ಮೂಲಕ ಎ ಯಿಂದ ಪಡೆದ ಆಟೋಮ್ಯಾಟನ್ ಎ 'ಆಗಿದೆ". ಕಾರ್ಯ ವಿಭಾಗವನ್ನು ಐ/ಒ ಆಟೋಮೇಟನ್ನ ಸ್ಥಳೀಯವಾಗಿ ನಿಯಂತ್ರಿತ ಕ್ರಿಯೆಗಳ ಮೇಲಿನ ಸಮಾನತೆಯ ಸಂಬಂಧ ಎಂದು ವ್ಯಾಖ್ಯಾನಿಸಲಾಗಿದೆ, ಇದು ಹೆಚ್ಚಿನ ಸಂಖ್ಯೆಯ ಅನೇಕ ಸಮಾನತೆಯ ವರ್ಗಗಳನ್ನು ಒಳಗೊಂಡಿರುತ್ತದೆ ಎಂಬುದನ್ನು ನೆನಪಿನಲ್ಲಿಡಿ. ಈ ಸನ್ನಿವೇಶದಲ್ಲಿ, ನ್ಯಾಯಯುತತೆಯನ್ನು ಪ್ರತಿಯೊಂದು ಕಾರ್ಯಕ್ಕೂ ನಿರಂತರವಾಗಿ ಒಂದು ಕಾರ್ಯವನ್ನು ನಿರ್ವಹಿಸುವ ಅವಕಾಶವನ್ನು ಒದಗಿಸುವುದು ಎಂದು ವ್ಯಾಖ್ಯಾನಿಸಬಹುದು. ಐ/ಒ ಆಟೋಮ್ಯಾಟನ್ ಎ ಯಲ್ಲಿ, ಸಿ ಒಂದು ವರ್ಗದ ಕಾರ್ಯಗಳನ್ನು (ಎ) ಪ್ರತಿನಿಧಿಸುತ್ತದೆ. ಔಪಚಾರಿಕವಾಗಿ, ಕೆಳಗಿನ ಮಾನದಂಡಗಳು ಪ್ರತಿ ವರ್ಗ C ಗೆ ಹೊಂದಿದ್ದರೆ A ಯ ಕಾರ್ಯಗತಗೊಳಿಸುವ ತುಣುಕು α ಅನ್ನು ನ್ಯಾಯೋಚಿತವೆಂದು ಪರಿಗಣಿಸಲಾಗುತ್ತದೆಃ "α ಸೀಮಿತವಾಗಿದ್ದರೆ, C ಅನ್ನು α ನ ಅಂತಿಮ ಸ್ಥಿತಿಯಲ್ಲಿ ಸಕ್ರಿಯಗೊಳಿಸಲಾಗುವುದಿಲ್ಲ". "α ಅನಂತವಾಗಿದ್ದರೆ, α, C ಯಿಂದ ಅನಂತವಾದ ಅನೇಕ ಘಟನೆಗಳನ್ನು ಅಥವಾ C ಅನ್ನು ಸಕ್ರಿಯಗೊಳಿಸದ ಸ್ಥಿತಿಗಳ ಅನಂತವಾದ ಅನೇಕ ಘಟನೆಗಳನ್ನು ಹೊಂದಿರುತ್ತದೆ". ಒಂದು ಘಟನೆಯನ್ನು "ಅನುಕ್ರಮದಲ್ಲಿ ಕ್ರಿಯೆಯ ಸಂಭವ, ಉದಾಹರಣೆಗೆ, ಮರಣದಂಡನೆ ಅಥವಾ ಕುರುಹು" ಎಂದು ವ್ಯಾಖ್ಯಾನಿಸಲಾಗಿದೆ. ನ್ಯಾಯೋಚಿತತೆಯ ವ್ಯಾಖ್ಯಾನದ ಆಧಾರದ ಮೇಲೆ, "ಅನಂತವಾಗಿ ಆಗಾಗ್ಗೆ", ಪ್ರತಿ ಕಾರ್ಯಕ್ಕೂ (ಅಥವಾ ಸಮಾನತೆಯ ವರ್ಗ ಸಿ) ಒಂದು ಕ್ರಿಯೆಯನ್ನು ನಿರ್ವಹಿಸಲು ಅವಕಾಶ ಸಿಗುತ್ತದೆ. ಒಂದು ಕಾರ್ಯ (ಅಥವಾ ಸಮಾನತೆ ವರ್ಗ) ಸಿ ಒಂದು ಕ್ರಿಯೆಯನ್ನು ನಿರ್ವಹಿಸಲು ಅವಕಾಶವನ್ನು ಪಡೆದಾಗ, ಎರಡು ಸಂದರ್ಭಗಳಲ್ಲಿ ಸಾಧ್ಯವಿದೆಃ ಸಿ ನಲ್ಲಿನ ಕ್ರಿಯೆಯನ್ನು ಪ್ರಸ್ತುತ ಸ್ಥಿತಿಯಲ್ಲಿ ಸಕ್ರಿಯಗೊಳಿಸಲಾಗುತ್ತದೆ ಮತ್ತು ಅದನ್ನು ನಿರ್ವಹಿಸಬಹುದು, ಅಥವಾ ಸಿ ನಲ್ಲಿನ ಯಾವುದೇ ಕ್ರಿಯೆಗಳನ್ನು ಪ್ರಸ್ತುತ ಸ್ಥಿತಿಯಲ್ಲಿ ಸಕ್ರಿಯಗೊಳಿಸಲಾಗುವುದಿಲ್ಲ ಮತ್ತು ಆದ್ದರಿಂದ, ಅದನ್ನು ನಿರ್ವಹಿಸಲಾಗುವುದಿಲ್ಲ. ಹೀಗಾಗಿ, ಅಂತಿಮ ಸ್ಥಿತಿಯ ಎಸ್ಎಫ್ನೊಂದಿಗೆ ಸೀಮಿತ ನ್ಯಾಯೋಚಿತ ಕಾರ್ಯಗತಗೊಳಿಸುವಿಕೆಯನ್ನು ಒಂದು ಕಾರ್ಯಗತಗೊಳಿಸುವಿಕೆ ಎಂದು ವ್ಯಾಖ್ಯಾನಿಸಬಹುದು, ಅಲ್ಲಿ ಆಟೋಮ್ಯಾಟನ್ ನಿರಂತರವಾಗಿ ಎಲ್ಲಾ ಕಾರ್ಯಗಳಿಗೆ ರೌಂಡ್-ರಾಬಿನ್ ಶೈಲಿಯಲ್ಲಿ ತಿರುವುಗಳನ್ನು ನೀಡುತ್ತದೆ, ಆದರೆ ಎಸ್ಎಫ್ನಲ್ಲಿ ಯಾವುದನ್ನೂ ಸಕ್ರಿಯಗೊಳಿಸದ ಕಾರಣ ಯಾವುದೇ ಕ್ರಿಯೆಗಳನ್ನು ಕಾರ್ಯಗತಗೊಳಿಸಲಾಗುವುದಿಲ್ಲ. I/O ಆಟೋಮ್ಯಾಟನ್ A ಯ ನ್ಯಾಯೋಚಿತ ಮರಣದಂಡನೆಯ ಗುಂಪನ್ನು ಫೇರ್ಕ್ಸೆಕ್ಸ್ (A) ಪ್ರತಿನಿಧಿಸುತ್ತದೆ. β ಎಂಬುದು A ಯ ನ್ಯಾಯೋಚಿತ ಕಾರ್ಯಗತಗೊಳಿಸುವಿಕೆಯ ಕುರುಹಾಗಿರಲಿ. ನಂತರ β ಎಂಬುದು A ಯ ನ್ಯಾಯೋಚಿತ ಕುರುಹು. ಎ ಯ ಸೆಟ್ ನ್ಯಾಯೋಚಿತ ಕುರುಹುಗಳನ್ನು ಫೇರ್ಟ್ರೇಸ್ಗಳು (ಎ) ಪ್ರತಿನಿಧಿಸುತ್ತವೆ. ಮರಣದಂಡನೆಯ ಉದಾಹರಣೆಯಲ್ಲಿ, ಮರಣದಂಡನೆ (ಎ) ನ್ಯಾಯೋಚಿತವಾಗಿದೆ, ಏಕೆಂದರೆ ಅದರ ಅಂತಿಮ ಸ್ಥಿತಿಯಲ್ಲಿ ಯಾವುದೇ ಸ್ವೀಕರಿಸುವ ಕ್ರಮವನ್ನು ಸಕ್ರಿಯಗೊಳಿಸಲಾಗಿಲ್ಲ. ಮರಣದಂಡನೆ (ಬಿ) ಸೀಮಿತವಾಗಿದೆ, ಆದರೂ ಸ್ವೀಕರಿಸುವ ಕ್ರಿಯೆಯನ್ನು ಅದರ ಅಂತಿಮ ಸ್ಥಿತಿಯಲ್ಲಿ ಸಕ್ರಿಯಗೊಳಿಸಲಾಗಿದೆ. ಆದ್ದರಿಂದ, ಮರಣದಂಡನೆ (ಬಿ) ನ್ಯಾಯೋಚಿತವಲ್ಲ. ಕಾರ್ಯಗತಗೊಳಿಸುವಿಕೆಯು (ಸಿ) ಅನಂತವಾಗಿದ್ದು, ಸ್ವೀಕರಿಸುವ ಘಟನೆಗಳನ್ನು ಒಳಗೊಂಡಿರುವುದಿಲ್ಲ ಮತ್ತು ಮೊದಲ ಹಂತದ ನಂತರದ ಎಲ್ಲಾ ಹಂತಗಳಲ್ಲಿ, ಸ್ವೀಕರಿಸುವ ಕ್ರಿಯೆಗಳನ್ನು ಸಕ್ರಿಯಗೊಳಿಸಲಾಗುತ್ತದೆ. ಆದ್ದರಿಂದ, ಇದು ನ್ಯಾಯಯುತವಾದ ಮರಣದಂಡನೆಯಲ್ಲ. ನ್ಯಾಯೋಚಿತತೆಯ ವ್ಯಾಖ್ಯಾನವು ಗಮನಾರ್ಹವಾದ ಗುಣವನ್ನು ಹೊಂದಿದೆಃ "ಸಂಯೋಜನೆಯ ನ್ಯಾಯೋಚಿತ ಮರಣದಂಡನೆಗಳು ಘಟಕಗಳ ನ್ಯಾಯೋಚಿತ ಮರಣದಂಡನೆಗಳ ಸಂಯೋಜನೆಯಾಗಿದೆಃ" ಅಂದರೆ, ನ್ಯಾಯೋಚಿತ (Πi) = Πi ನ್ಯಾಯೋಚಿತ (ಎಐ). ಗುಣಲಕ್ಷಣಗಳು ಮತ್ತು ಪುರಾವೆ ವಿಧಾನಗಳು I/O ಸ್ವಯಂಚಾಲಿತವು ಅಸಿಂಕ್ರೋನಸ್ ವ್ಯವಸ್ಥೆಗಳ ನಿಖರವಾದ ವಿವರಣೆಯನ್ನು ಒದಗಿಸುತ್ತದೆ. "ವ್ಯವಸ್ಥೆಗಳು ಏನು ಮಾಡಬಹುದು" ಎಂಬುದರ ಬಗ್ಗೆ "ನಿಖರವಾದ ಹಕ್ಕುಗಳನ್ನು" ಔಪಚಾರಿಕಗೊಳಿಸಲು ಮತ್ತು ಸಾಬೀತುಪಡಿಸಲು ಸಹ ಅವುಗಳನ್ನು ಬಳಸಲಾಗುತ್ತದೆ. ಈ ವಿಭಾಗದಲ್ಲಿ, ಹಲವಾರು ಪ್ರಮುಖ ರೀತಿಯ ಗುಣಲಕ್ಷಣಗಳನ್ನು ವಿವರಿಸಲಾಗಿದೆ. ಇವುಗಳು, ಜೊತೆಗೆ ಹೆಚ್ಚಿನ ಗುಣಲಕ್ಷಣಗಳು ಮತ್ತು ಪುರಾವೆ ವಿಧಾನಗಳನ್ನು ಡಿಸ್ಟ್ರಿಬ್ಯೂಟೆಡ್ ಅಲ್ಗಾರಿದಮ್ಗಳಲ್ಲಿ ವಿವರಿಸಲಾಗಿದೆ. ಇನ್ಪುಟ್ ಸಕ್ರಿಯಗೊಳಿಸುವ ಗುಣಲಕ್ಷಣಗಳು ಇನ್ಪುಟ್ ಸಕ್ರಿಯಗೊಳಿಸುವ ಗುಣಲಕ್ಷಣವು ಸ್ವಯಂಚಾಲಿತವಾಗಿ ಇನ್ಪುಟ್ ಕ್ರಿಯೆಗಳು ಸಂಭವಿಸುವುದನ್ನು ತಡೆಯಲು ಸಾಧ್ಯವಿಲ್ಲ ಎಂದು ಹೇಳುತ್ತದೆ. ಈ ಗುಣಲಕ್ಷಣವನ್ನು ಹೊಂದಿರುವುದರಿಂದ ಎರಡು ಗಮನಾರ್ಹ ಪ್ರಯೋಜನಗಳಿವೆಃ ಮಾದರಿಯನ್ನು ಅನಿಯಂತ್ರಿತ ಇನ್ಪುಟ್ಗಳನ್ನು ನಿಭಾಯಿಸಲು ವಿನ್ಯಾಸಗೊಳಿಸಲಾಗಿರುವುದರಿಂದ, ಅನಿರೀಕ್ಷಿತ ಇನ್ಪುಟ್ಗಳನ್ನು ನಿರ್ವಹಿಸುವಲ್ಲಿ ವೈಫಲ್ಯದಿಂದಾಗಿ ಸಿಸ್ಟಮ್ ದೋಷಗಳ ಪ್ರಮುಖ ಮೂಲವನ್ನು ತೆಗೆದುಹಾಕಲಾಗುತ್ತದೆ. ಇನ್ಪುಟ್-ಸಕ್ರಿಯಗೊಳಿಸುವ ಗುಣಲಕ್ಷಣವು "ಬಾಹ್ಯ ಕ್ರಿಯೆಗಳ ಅನುಕ್ರಮಗಳ ಆಧಾರದ ಮೇಲೆ ಸ್ವಯಂಚಾಲಿತಕ್ಕಾಗಿ ಬಾಹ್ಯ ನಡವಳಿಕೆಯ ಸರಳ ಕಲ್ಪನೆಗಳನ್ನು" ಬಳಸುತ್ತದೆ. ಮಾದರಿಯಲ್ಲಿನ ಕೆಲವು ಪ್ರಮೇಯಗಳ ಪುರಾವೆಗಳು ಈ ಗುಣಲಕ್ಷಣದ ಊಹೆಯಿಲ್ಲದೆ ವಿಫಲವಾಗಬಹುದು. ಟ್ರೇಸ್ ಗುಣಲಕ್ಷಣಗಳು I/O ಸ್ವಯಂಚಾಲಿತ ಯಂತ್ರದ ಆಂತರಿಕ ಕ್ರಿಯೆಗಳು ಬಳಕೆದಾರರಿಗೆ ಅಗೋಚರವಾಗಿರುವುದರಿಂದ I/O ಸ್ವಯಂಚಾಲಿತ ಯಂತ್ರವು ಕಪ್ಪು ಪೆಟ್ಟಿಗೆಯಂತೆ ಕಾಣುತ್ತದೆ ಮತ್ತು ಬಳಕೆದಾರರು ಕೇವಲ "ಸ್ವಯಂಚಾಲಿತ ಯಂತ್ರದ ಮರಣದಂಡನೆಯ ಕುರುಹುಗಳನ್ನು (ಅಥವಾ ನ್ಯಾಯಯುತ ಮರಣದಂಡನೆಗಳನ್ನು)" ನೋಡುತ್ತಾರೆ. ಐ/ಒ ಆಟೋಮಾಟಾದ ಕೆಲವು ಗುಣಲಕ್ಷಣಗಳು ಮತ್ತು ಅವುಗಳ ಪುರಾವೆಗಳನ್ನು ಸಾಮಾನ್ಯವಾಗಿ "ಅವುಗಳ ಕುರುಹುಗಳು ಅಥವಾ ನ್ಯಾಯಯುತ ಕುರುಹುಗಳ ಗುಣಲಕ್ಷಣಗಳು" ಎಂದು ಔಪಚಾರಿಕಗೊಳಿಸಲಾಗುತ್ತದೆ. ಪಿ ಒಂದು ಜಾಡಿನ ಗುಣಲಕ್ಷಣವಾಗಿರಲಿ; ಪಿ ಈ ಕೆಳಗಿನ ಅಂಶಗಳನ್ನು ಹೊಂದಿದೆಃ ಸಿಗ್ (ಪಿ), ಇದು ಯಾವುದೇ ಆಂತರಿಕ ಕ್ರಿಯೆಗಳ ಕುರುಹುಗಳಿಲ್ಲದ (ಪಿ) ಸಹಿಯನ್ನು ಪ್ರತಿನಿಧಿಸುತ್ತದೆ, ಇದು "ಕ್ರಿಯೆಗಳಲ್ಲಿನ ಕ್ರಿಯೆಗಳ ಅನುಕ್ರಮಗಳ (ಸಿಗ್ (ಪಿ))" ಗುಂಪಿಗೆ ಅನುರೂಪವಾಗಿದೆ. ಈ ಸೆಟ್ ಅನಂತವಾಗಿರಬಹುದು. ಜಾಡಿನ ಗುಣಲಕ್ಷಣವು ಬಾಹ್ಯ ಸಹಿಯನ್ನು ಮತ್ತು ಆ ಇಂಟರ್ಫೇಸ್ನಲ್ಲಿ ವೀಕ್ಷಿಸಲಾದ ಅನುಕ್ರಮಗಳ ಗುಂಪನ್ನು (ಅಥವಾ ಗುಣಲಕ್ಷಣ) ವಿವರಿಸುತ್ತದೆ. ಕೆಲವೊಮ್ಮೆ ಕ್ರಿಯೆಗಳನ್ನು (ಸಿಗ್ (ಪಿ)) ಸಂಕ್ಷಿಪ್ತ ಸಂಕೇತ ಕ್ರಿಯೆಗಳಿಂದ (ಪಿ) ಪ್ರತಿನಿಧಿಸಲಾಗುತ್ತದೆ. ಐ/ಒ ಆಟೋಮ್ಯಾಟನ್ ಎ ಒಂದು ಜಾಡಿನ ಗುಣಲಕ್ಷಣ ಪಿ ಅನ್ನು ತೃಪ್ತಿಪಡಿಸುತ್ತದೆ ಎಂದು ಉಲ್ಲೇಖಿಸಿದಾಗ, (ಕನಿಷ್ಠ) ಎರಡು ವಿಭಿನ್ನ ಅರ್ಥಗಳನ್ನು ಉದ್ದೇಶಿಸಿರಬಹುದುಃ "ಎಕ್ಸ್ಟಿಸಿಗ್ (ಎ) = ಸಿಗ್ (ಪಿ) ಮತ್ತು ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಜಾಡಿನ ಫೇರ್ಟ್ರೇಸ್ಗಳು (ಎ) ಟ್ರೇಸ್ಗಳು (ಪಿ) ಹೊಂದಿದ್ದರೆ, ಪಿ ಗುಣಲಕ್ಷಣವು ರಚಿಸಲಾದ ಎಲ್ಲಾ ಅನುಕ್ರಮಗಳನ್ನು ಹೊಂದಿರಬೇಕು. ಸುರಕ್ಷತಾ ಗುಣಲಕ್ಷಣಗಳು ಅಂತರ್ಬೋಧೆಯಿಂದ, ಸುರಕ್ಷತಾ ಗುಣಲಕ್ಷಣವು "ಕೆಟ್ಟದು" ಏನೂ ಸಂಭವಿಸುವುದಿಲ್ಲ ಎಂಬ ಅಂಶವನ್ನು ಪ್ರತಿನಿಧಿಸುತ್ತದೆ. ಹೆಚ್ಚು ಔಪಚಾರಿಕವಾಗಿ, ಪಿ ಒಂದು ಜಾಡಿನ ಆಸ್ತಿಯಾಗಿರಲಿ. ಈ ಕೆಳಗಿನ ಮಾನದಂಡಗಳು ಕುರುಹುಗಳನ್ನು (ಪಿ) ಹೊಂದಿದ್ದರೆ, ಪಿ ಒಂದು ಜಾಡಿನ ಸುರಕ್ಷತಾ ಆಸ್ತಿ ಅಥವಾ ಸುರಕ್ಷತಾ ಆಸ್ತಿಯಾಗಿದೆ. ಕುರುಹುಗಳು (ಪಿ) ಖಾಲಿಯಾಗಿರುವುದಿಲ್ಲಃ ಯಾವುದೇ ಘಟನೆಗಳು ಸಂಭವಿಸುವ ಮೊದಲು ಏನಾದರೂ ಕೆಟ್ಟದು ಸಂಭವಿಸುವುದಿಲ್ಲ; ಆದ್ದರಿಂದ, ಖಾಲಿ ಇಲ್ಲದಿರುವುದು ಕುರುಹುಗಳ ಮೇಲೆ ಸಮಂಜಸವಾದ ಸ್ಥಿತಿಯಾಗಿದೆ (ಪಿ). ಕುರುಹುಗಳು (ಪಿ) "ಪೂರ್ವಪ್ರತ್ಯಯ-ಮುಚ್ಚಲಾಗಿದೆ": β bul ಕುರುಹುಗಳು (ಪಿ) ಮತ್ತು β 'ಗಳು β ನ ಸೀಮಿತ ಪೂರ್ವಪ್ರತ್ಯಯವನ್ನು ಪ್ರತಿನಿಧಿಸುತ್ತವೆ. ವಿವರಿಸಲು, ಕೆಟ್ಟದ್ದೇನೂ ಸಂಭವಿಸದ ಕುರುಹು ಇದೆ ಎಂದು ಭಾವಿಸಿ. ಆದ್ದರಿಂದ, ಆ ಜಾಡಿನ ಯಾವುದೇ ಪೂರ್ವಪ್ರತ್ಯಯದಲ್ಲಿ ಕೆಟ್ಟದ್ದೇನೂ ಸಂಭವಿಸುವುದಿಲ್ಲ. ಹೀಗಾಗಿ, ಪೂರ್ವಪ್ರತ್ಯಯ-ಮುಚ್ಚುವಿಕೆಯನ್ನು ಹೊಂದಿರುವುದು ಕುರುಹುಗಳ (ಪಿ) ಮೇಲೆ ಸಮಂಜಸವಾದ ಷರತ್ತಾಗಿದೆ. ಕುರುಹುಗಳು (ಪಿ) "ಮಿತಿ-ಮುಚ್ಚಲಾಗಿದೆ": β1, β2, ಆಗಿರಲಿ. .. .. ಜಾಡುಗಳಲ್ಲಿ (ಪಿ) ಸೀಮಿತ ಅನುಕ್ರಮಗಳ ಅನಂತ ಅನುಕ್ರಮವನ್ನು ಪ್ರತಿನಿಧಿಸುತ್ತದೆ. ಅಲ್ಲದೆ, ಪ್ರತಿ i ಗೆ, βi ಎಂಬುದು βi + 1 ರ ಪೂರ್ವಪ್ರತ್ಯಯವಾಗಿದೆ ಎಂದು ಭಾವಿಸಿ. ಈ ಸಂದರ್ಭದಲ್ಲಿ, ವಿಶಿಷ್ಟ ಅನುಕ್ರಮ β, ಅಂದರೆ "ಅನುಕ್ರಮ ವಿಸ್ತರಣೆಯ ಕ್ರಮದ ಅಡಿಯಲ್ಲಿ βi ಯ ಮಿತಿ" ಸಹ ಕುರುಹುಗಳಲ್ಲಿ (P) ಅಸ್ತಿತ್ವದಲ್ಲಿದೆ. ಆದ್ದರಿಂದ, ಒಂದು ಜಾಡಿನೊಳಗೆ ಏನಾದರೂ ಕೆಟ್ಟದಾಗಿ ಸಂಭವಿಸಿದರೆ, ಅದು ಜಾಡಿನಲ್ಲಿರುವ ನಿರ್ದಿಷ್ಟ ಘಟನೆಯ ಫಲಿತಾಂಶವಾಗಿರುತ್ತದೆ. ಈ ಸಂದರ್ಭದಲ್ಲಿ ಮಿತಿ ಮುಚ್ಚುವಿಕೆಯು ಕುರುಹುಗಳ (ಪಿ) ಮೇಲೆ ಸಮಂಜಸವಾದ ಷರತ್ತಾಗಿದೆ. ಲೈವನ್ಸ್ ಗುಣಲಕ್ಷಣಗಳು ಅನೌಪಚಾರಿಕವಾಗಿ, ಲೈವನ್ಸ್ ಗುಣಲಕ್ಷಣವನ್ನು ಅಂತಿಮವಾಗಿ "ಒಳ್ಳೆಯದು" ಎಂದು ಅರ್ಥೈಸಿಕೊಳ್ಳಬಹುದು. ಆದ್ದರಿಂದ, ಸಮಯದ ಒಂದು ನಿರ್ದಿಷ್ಟ ಹಂತಕ್ಕೆ ಏನಾಯಿತು ಎಂಬುದನ್ನು ಲೆಕ್ಕಿಸದೆ, ಭವಿಷ್ಯದಲ್ಲಿ ಯಾವುದೋ ಒಂದು ಸಮಯದಲ್ಲಿ ಏನಾದರೂ ಒಳ್ಳೆಯದು ಸಂಭವಿಸಬಹುದು. ಹೆಚ್ಚು ಔಪಚಾರಿಕವಾಗಿ, ಪಿ ಒಂದು ಜಾಡಿನ ಆಸ್ತಿಯಾಗಿರಲಿ. "ಕ್ರಿಯೆಗಳ (ಪಿ) ಮೇಲಿನ ಪ್ರತಿಯೊಂದು ಸೀಮಿತ ಅನುಕ್ರಮವು ಕುರುಹುಗಳಲ್ಲಿ (ಪಿ) ಸ್ವಲ್ಪ ವಿಸ್ತರಣೆಯನ್ನು ಹೊಂದಿದ್ದರೆ" ಪಿ ಒಂದು ಜಾಡಿನ ಜೀವಂತ ಗುಣಲಕ್ಷಣ ಅಥವಾ ಜೀವಂತ ಗುಣಲಕ್ಷಣವಾಗಿದೆ. ಟೈಮ್ಡ್ ಐ/ಒ ಆಟೋಮ್ಯಾಟನ್ಃ ಪ್ರೋಬಬಿಲಿಸ್ಟಿಕ್ ಐ/ಒ ಆಟೋಮ್ಯಾಟನ್ಃ ಸಾಮಾನ್ಯವಾಗಿ ಸುರಕ್ಷತಾ ಗುಣಲಕ್ಷಣಗಳು ಮತ್ತು ಜೀವಂತ ಗುಣಲಕ್ಷಣಗಳ ಚರ್ಚೆಗಾಗಿ, ಸುರಕ್ಷತೆ ಮತ್ತು ಜೀವಂತ ಗುಣಲಕ್ಷಣಗಳನ್ನು ನೋಡಿ. ಸಹ ನೋಡಿ ಸಂವಹನ ಅನುಕ್ರಮ ಪ್ರಕ್ರಿಯೆಗಳು ನಟ ಮಾದರಿ ಉಲ್ಲೇಖಗಳು ಡಿಸ್ಟ್ರಿಬ್ಯೂಟೆಡ್ ಕಂಪ್ಯೂಟಿಂಗ್