Unifying Theories of Programming
ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನದಲ್ಲಿ ಯುನಿಫೈಂಗ್ ಥಿಯರೀಸ್ ಆಫ್ ಪ್ರೋಗ್ರಾಮಿಂಗ್ (ಯುಟಿಪಿ) ಪ್ರೋಗ್ರಾಂ ಶಬ್ದಾರ್ಥಶಾಸ್ತ್ರದೊಂದಿಗೆ ವ್ಯವಹರಿಸುತ್ತದೆ. ಪ್ರೋಗ್ರಾಂಗಳು ಮತ್ತು ಕಂಪ್ಯೂಟರ್ ವ್ಯವಸ್ಥೆಗಳ ಔಪಚಾರಿಕ ವಿವರಣೆ, ವಿನ್ಯಾಸ ಮತ್ತು ಅನುಷ್ಠಾನಕ್ಕಾಗಿ ಡಿನೋಟೇಷನಲ್ ಶಬ್ದಾರ್ಥಶಾಸ್ತ್ರ, ಕಾರ್ಯಾಚರಣೆಯ ಶಬ್ದಾರ್ಥಶಾಸ್ತ್ರ ಮತ್ತು ಬೀಜಗಣಿತದ ಶಬ್ದಾರ್ಥಶಾಸ್ತ್ರವನ್ನು ಹೇಗೆ ಏಕೀಕೃತ ಚೌಕಟ್ಟಿನಲ್ಲಿ ಸಂಯೋಜಿಸಬಹುದು ಎಂಬುದನ್ನು ಇದು ತೋರಿಸುತ್ತದೆ. ಈ ಶೀರ್ಷಿಕೆಯ ಪುಸ್ತಕವನ್ನು ಸಿ. ಎ. ಆರ್. ಬರೆದಿದ್ದಾರೆ. ಹೋರೆ ಮತ್ತು ಹಿ ಜಿಫೆಂಗ್ ಅನ್ನು 1998 ರಲ್ಲಿ ಕಂಪ್ಯೂಟರ್ ಸೈನ್ಸ್ನ ಪ್ರೆಂಟಿಸ್ ಹಾಲ್ ಇಂಟರ್ನ್ಯಾಷನಲ್ ಸರಣಿಯಲ್ಲಿ ಪ್ರಕಟಿಸಲಾಯಿತು ಮತ್ತು ಈಗ ವೆಬ್ನಲ್ಲಿ ಉಚಿತವಾಗಿ ಲಭ್ಯವಿದೆ. ಸಿದ್ಧಾಂತಗಳು ಯು. ಟಿ. ಪಿ. ಯ ಶಬ್ದಾರ್ಥದ ಅಡಿಪಾಯವು ಮೊದಲ-ಕ್ರಮಾಂಕದ ಪ್ರಿಡಿಕೇಟ್ ಕ್ಯಾಲ್ಕುಲಸ್ ಆಗಿದ್ದು, ಎರಡನೇ-ಕ್ರಮಾಂಕದ ತರ್ಕದಿಂದ ಸ್ಥಿರ ಬಿಂದು ರಚನೆಗಳೊಂದಿಗೆ ವರ್ಧಿತವಾಗಿದೆ. ಎರಿಕ್ ಹೆಹ್ನರ್ ಅವರ ಸಂಪ್ರದಾಯವನ್ನು ಅನುಸರಿಸಿ, ಕಾರ್ಯಕ್ರಮಗಳು ಯುಟಿಪಿಯಲ್ಲಿ ಮುನ್ಸೂಚನೆಗಳಾಗಿವೆ, ಮತ್ತು ಶಬ್ದಾರ್ಥದ ಮಟ್ಟದಲ್ಲಿ ಕಾರ್ಯಕ್ರಮಗಳು ಮತ್ತು ವಿಶೇಷಣಗಳ ನಡುವೆ ಯಾವುದೇ ವ್ಯತ್ಯಾಸವಿಲ್ಲ. ಹೋರೆ ಅವರ ಮಾತಿನಲ್ಲಿ ಹೇಳುವುದಾದರೆಃ ಕಂಪ್ಯೂಟರ್ ಪ್ರೋಗ್ರಾಂ ಅನ್ನು ಆ ಪ್ರೋಗ್ರಾಂ ಅನ್ನು ಕಾರ್ಯಗತಗೊಳಿಸುವ ಕಂಪ್ಯೂಟರ್ನ ನಡವಳಿಕೆಯ ಬಗ್ಗೆ ಮಾಡಬಹುದಾದ ಪ್ರತಿಯೊಂದು ಸಂಬಂಧಿತ ಅವಲೋಕನವನ್ನು ವಿವರಿಸುವ ಪ್ರಬಲವಾದ ಮುನ್ಸೂಚನೆಯೊಂದಿಗೆ ಗುರುತಿಸಲಾಗುತ್ತದೆ. ಯುಟಿಪಿ ಪರಿಭಾಷೆಯಲ್ಲಿ, ಒಂದು ಸಿದ್ಧಾಂತವು ಒಂದು ನಿರ್ದಿಷ್ಟ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಮಾದರಿಯ ಮಾದರಿಯಾಗಿದೆ. ಯುಟಿಪಿ ಸಿದ್ಧಾಂತವು ಮೂರು ಅಂಶಗಳನ್ನು ಒಳಗೊಂಡಿದೆಃ ವರ್ಣಮಾಲೆ, ಇದು ಬಾಹ್ಯ ಘಟಕದಿಂದ ಗಮನಿಸಬಹುದಾದ ಮಾದರಿಯ ಗುಣಲಕ್ಷಣಗಳನ್ನು ಸೂಚಿಸುವ ವೇರಿಯೇಬಲ್ ಹೆಸರುಗಳ ಗುಂಪಾಗಿದೆ; ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆಯ ಗುಂಪಾಗಿರುವ ಸಹಿ, ಮಾದರಿಗೆ ಅಂತರ್ಗತವಾಗಿ ನಿರ್ಮಿಸುತ್ತದೆ; ಮತ್ತು ಆರೋಗ್ಯಕರ ಪರಿಸ್ಥಿತಿಗಳ ಸಂಗ್ರಹ, ಇದು ಮಾದರಿಯೊಳಗೆ ಹೊಂದಿಕೊಳ್ಳುವ ಪ್ರೋಗ್ರಾಂಗಳ ಜಾಗವನ್ನು ವ್ಯಾಖ್ಯಾನಿಸುತ್ತದೆ. ಈ ಆರೋಗ್ಯಕರ ಪರಿಸ್ಥಿತಿಗಳನ್ನು ಸಾಮಾನ್ಯವಾಗಿ ಮೊನೊಟೋನಿಕ್ ಐಡೆಂಪೊಟೆಂಟ್ ಪ್ರಿಡಿಕೇಟ್ ಟ್ರಾನ್ಸ್ಫಾರ್ಮರ್ಗಳಾಗಿ ವ್ಯಕ್ತಪಡಿಸಲಾಗುತ್ತದೆ. ಯು. ಟಿ. ಪಿ. ಯಲ್ಲಿ ಕಾರ್ಯಕ್ರಮದ ಪರಿಷ್ಕರಣೆಯು ಒಂದು ಪ್ರಮುಖ ಪರಿಕಲ್ಪನೆಯಾಗಿದೆ. ಮಾಡಬಹುದಾದ ಪ್ರತಿಯೊಂದು ವೀಕ್ಷಣೆಯೂ ಸಹ ಒಂದು ವೀಕ್ಷಣೆಯಾಗಿದ್ದರೆ ಮಾತ್ರ ಪ್ರೋಗ್ರಾಂ ಅನ್ನು ಪರಿಷ್ಕರಿಸಲಾಗುತ್ತದೆ. ಪರಿಷ್ಕರಣೆಯ ವ್ಯಾಖ್ಯಾನವು ಯುಟಿಪಿ ಸಿದ್ಧಾಂತಗಳಲ್ಲಿ ಸಾಮಾನ್ಯವಾಗಿದೆಃ ಇದು ವರ್ಣಮಾಲೆಯಲ್ಲಿನ ಎಲ್ಲಾ ಅಸ್ಥಿರಗಳ ಸಾರ್ವತ್ರಿಕ ಮುಚ್ಚುವಿಕೆಯನ್ನು ಸೂಚಿಸುತ್ತದೆ. ಅತ್ಯಂತ ಮೂಲಭೂತ ಯುಟಿಪಿ ಸಿದ್ಧಾಂತವು ವರ್ಣಮಾಲೆಯ ಮುನ್ಸೂಚನೆಯ ಕಲನಶಾಸ್ತ್ರವಾಗಿದೆ, ಇದು ವರ್ಣಮಾಲೆಯ ನಿರ್ಬಂಧಗಳು ಅಥವಾ ಆರೋಗ್ಯಕರ ಪರಿಸ್ಥಿತಿಗಳನ್ನು ಹೊಂದಿಲ್ಲ. ಸಂಬಂಧಗಳ ಸಿದ್ಧಾಂತವು ಸ್ವಲ್ಪ ಹೆಚ್ಚು ವಿಶೇಷವಾಗಿದೆ, ಏಕೆಂದರೆ ಸಂಬಂಧದ ವರ್ಣಮಾಲೆಯು ಈ ಕೆಳಗಿನವುಗಳನ್ನು ಮಾತ್ರ ಒಳಗೊಂಡಿರಬಹುದುಃ ಸಂಸ್ಕರಿಸದ ಅಸ್ಥಿರಗಳು (), ಅದರ ಕಾರ್ಯಗತಗೊಳಿಸುವಿಕೆಯ ಆರಂಭದಲ್ಲಿ ಪ್ರೋಗ್ರಾಂನ ವೀಕ್ಷಣೆಯನ್ನು ರೂಪಿಸುವುದು; ಮತ್ತು ಪ್ರಾಥಮಿಕ ಅಸ್ಥಿರಗಳು (), ಅದರ ಕಾರ್ಯಗತಗೊಳಿಸುವಿಕೆಯ ನಂತರದ ಹಂತದಲ್ಲಿ ಪ್ರೋಗ್ರಾಂನ ವೀಕ್ಷಣೆಯನ್ನು ರೂಪಿಸುವುದು. ಕೆಲವು ಸಾಮಾನ್ಯ ಭಾಷಾ ರಚನೆಗಳನ್ನು ಸಂಬಂಧಗಳ ಸಿದ್ಧಾಂತದಲ್ಲಿ ಈ ಕೆಳಗಿನಂತೆ ವ್ಯಾಖ್ಯಾನಿಸಬಹುದುಃ ಪ್ರೋಗ್ರಾಂ ಸ್ಥಿತಿಯನ್ನು ಯಾವುದೇ ರೀತಿಯಲ್ಲಿ ಬದಲಾಯಿಸದ ಸ್ಕಿಪ್ ಸ್ಟೇಟ್ಮೆಂಟ್ ಅನ್ನು ರಿಲೇಷನಲ್ ಐಡೆಂಟಿಟಿಯಾಗಿ ರೂಪಿಸಲಾಗಿದೆಃ ವೇರಿಯೇಬಲ್ಗೆ ಮೌಲ್ಯದ ನಿಯೋಜನೆಯನ್ನು ಎಲ್ಲಾ ಇತರ ವೇರಿಯೇಬಲ್ಗಳಿಗೆ ಹೊಂದಿಸುವಂತೆ ಮತ್ತು ಸ್ಥಿರವಾಗಿ ಇಡುವಂತೆ ರೂಪಿಸಲಾಗಿದೆಃ ಎರಡು ಪ್ರೋಗ್ರಾಂಗಳ ಅನುಕ್ರಮ ಸಂಯೋಜನೆಯು ಕೇವಲ ಮಧ್ಯಂತರ ಸ್ಥಿತಿಯ ರಿಲೇಷನಲ್ ಸಂಯೋಜನೆಯಾಗಿದೆಃ ಪ್ರೋಗ್ರಾಂಗಳ ನಡುವಿನ ಅನಿರ್ದಿಷ್ಟ ಆಯ್ಕೆಯು ಅವುಗಳ ಅತಿದೊಡ್ಡ ಲೋವರ್ ಬೌಂಡ್ ಆಗಿದೆಃ ಪ್ರೋಗ್ರಾಂಗಳ ನಡುವಿನ ಷರತ್ತುಬದ್ಧ ಆಯ್ಕೆಯನ್ನು ಇನ್ಫಿಕ್ಸ್ ಸಂಕೇತವನ್ನು ಬಳಸಿ ಬರೆಯಲಾಗುತ್ತದೆಃ ಪುನರಾವರ್ತನೆಗೆ ಒಂದು ಶಬ್ದಾರ್ಥವನ್ನು ಮೊನೊಟೋನಿಕ್ ಪ್ರಿಡಿಕೇಟ್ ಟ್ರಾನ್ಸ್ಫಾರ್ಮರ್ನ ಕನಿಷ್ಠ ಸ್ಥಿರ ಬಿಂದುವಿನಿಂದ ನೀಡಲಾಗುತ್ತದೆಃ ಹೆಚ್ಚಿನ ಓದುವಿಕೆ ಬಾಹ್ಯ ಕೊಂಡಿಗಳು ಯುಟಿಪಿ ವೆಬ್ಸೈಟ್ ಪುಸ್ತಕ ಯುಟಿಪಿ ಪುಸ್ತಕ Archive.org 1998 ಕಾಲ್ಪನಿಕವಲ್ಲದ ಪುಸ್ತಕಗಳು ಕಂಪ್ಯೂಟರ್