J operator
ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನದಲ್ಲಿ, ಪೀಟರ್ ಲ್ಯಾಂಡಿನ್ನ ಜೆ ಆಪರೇಟರ್ ಒಂದು ಪ್ರೋಗ್ರಾಮಿಂಗ್ ರಚನೆಯಾಗಿದ್ದು, ಇದು ಪ್ರಸ್ತುತ ಲ್ಯಾಂಬ್ಡಾ-ಸನ್ನಿವೇಶದ ಮುಂದುವರಿಕೆಯೊಂದಿಗೆ ಲ್ಯಾಂಬ್ಡಾ ಅಭಿವ್ಯಕ್ತಿಯನ್ನು ರಚಿಸುತ್ತದೆ. ಪರಿಣಾಮವಾಗಿ ಬರುವ "ಕಾರ್ಯ" ವು ಪ್ರಥಮ ದರ್ಜೆಯಾಗಿದೆ ಮತ್ತು ಅದನ್ನು ನಂತರದ ಕಾರ್ಯಗಳಿಗೆ ವರ್ಗಾಯಿಸಬಹುದು, ಅಲ್ಲಿ ಅನ್ವಯಿಸಿದರೆ ಅದು ತನ್ನ ಫಲಿತಾಂಶವನ್ನು ಅದನ್ನು ರಚಿಸಿದ ಕಾರ್ಯದ ಮುಂದುವರಿಕೆಗೆ ಹಿಂದಿರುಗಿಸುತ್ತದೆ. ಜೆ ಆಪರೇಟರ್ ಅನ್ನು ಲೇಬಲ್ಗಳನ್ನು ತಯಾರಿಸಲು ಮತ್ತು ಪ್ರಥಮ ದರ್ಜೆಯ ಮೌಲ್ಯವನ್ನು ಏರಿಸಲು ರಚಿಸಲಾಗಿದೆ. ಇದನ್ನು ಈ ಕೆಳಗಿನ ಹೆಚ್ಚುವರಿ ಪರಿವರ್ತನೆಗಳೊಂದಿಗೆ ಎಸ್ಇಸಿಡಿ ಯಂತ್ರದೊಂದಿಗೆ ಕೆಲಸ ಮಾಡಲು ವಿನ್ಯಾಸಗೊಳಿಸಲಾಗಿದೆಃ {| ಕ್ಲಾಸ್ = "ವಿಕಿಟೇಬಲ್" | +! ಪರಿವರ್ತನೆ! ನಿಂದ! ಗೆ!-|J |J: f: S, E, ap: C, D |closure (f, D): S, E, C, D |-|Closure |closure (f, (S ', E', C ', D'): x: S, E, ap: C, D|f: x: S ', E', ap: C ', D' |} ಜೆ ಆಪರೇಟರ್ ಮೂಲತಃ "ಪ್ರೋಗ್ರಾಂ ಕ್ಲೋಸರ್" ಎಂದು ಕರೆಯಲ್ಪಡುವ ಕಾರ್ಯವನ್ನು ರಚಿಸಿದರು, ಇದು ದೇಹ ಮತ್ತು ಎಂದು ಕರೆಯಲ್ಪಡುವ ಕಾರ್ಯವನ್ನು ಒಳಗೊಂಡಿದೆ. ಪ್ರೋಗ್ರಾಂ ಮುಚ್ಚುವಿಕೆಯು ಅದರ ದೇಹವನ್ನು ಡಂಪ್ನೊಂದಿಗೆ ಮುಂದುವರಿದ ರೂಪದಲ್ಲಿ ರಚಿಸುವುದಕ್ಕೆ ಸಮನಾಗಿರುತ್ತದೆ (ಮುಚ್ಚುವಿಕೆ (ಎಫ್, ಡಿ) (ಎಕ್ಸ್) = ಡಿ (ಎಫ್ (ಎಕ್ಸ್))). ಸರಳೀಕೃತ ವಿವರಣೆ ಜೆ ಆಪರೇಟರ್ ಕರೆ ಮಾಡುವ ಕಾರ್ಯದ ಮುಂದುವರಿಕೆಯೊಂದಿಗೆ ಒಂದು ಕಾರ್ಯವನ್ನು ಸಂಯೋಜಿಸುತ್ತದೆ. ಅಂದರೆ, ಜೆ ಆಪರೇಟರ್ ಒಂದು ಕಾರ್ಯವನ್ನು ಹಿಂದಿರುಗಿಸುತ್ತದೆ, ಇದು ಅನ್ವಯಿಸಿದಾಗ ಜೆ ಆಪರೇಟರ್ನ ವಾದವನ್ನು ಕಾರ್ಯದ ವಾದದೊಂದಿಗೆ ಅನ್ವಯಿಸುತ್ತದೆ ಮತ್ತು ನಂತರ ಜೆ ಆಪರೇಟರ್ ಎಂದು ಕರೆಯುವ ಕಾರ್ಯವನ್ನು ಆ ಮೌಲ್ಯವನ್ನು ಹಿಂದಿರುಗಿಸಲು ಒತ್ತಾಯಿಸುತ್ತದೆ. ಉದಾಹರಣೆಗಳು J (λx. x) ಒಂದು ಪ್ರಥಮ ದರ್ಜೆ ರಿಟರ್ನ್ ಹೇಳಿಕೆಗೆ ಸಮನಾಗಿರುತ್ತದೆ. ಏಕೆಂದರೆ λx. x ಎಂಬುದು ಗುರುತಿನ ಕಾರ್ಯವಾಗಿದೆ, ಆದ್ದರಿಂದ ಅದನ್ನು ಅನ್ವಯಿಸಿದಾಗ ಅದು ನೀಡಲಾದ ಮೌಲ್ಯಕ್ಕೆ ಏನನ್ನೂ ಮಾಡುವುದಿಲ್ಲ ಮತ್ತು ಅದನ್ನು ನೇರವಾಗಿ ಹಿಂದಿರುಗಿಸುತ್ತದೆ away.λv.J (λx. x) ಆರಂಭದಲ್ಲಿ λx. x "ನ J ಅನ್ನು ಹಿಂದಿರುಗಿಸುತ್ತದೆ, ಆದರೆ ಅದನ್ನು ಬೇರೆ ಮೌಲ್ಯವನ್ನು ಮರು-ಹಿಂದಿರುಗಿಸುವಂತೆ ಮಾಡಲು ಸುತ್ತಮುತ್ತಲಿನ ಅಭಿವ್ಯಕ್ತಿಯಲ್ಲಿ ಬಳಸಬಹುದು. ಲ್ಯಾಂಡಿನ್ ಲ್ಯಾಂಡಿನ್, ಪಿ. ಜೆ. ಅವರ "ಎ ಫಾರ್ಮಲ್ ಡಿಸ್ಕ್ರಿಪ್ಷನ್ ಆಫ್ ಅಲ್ಗೋಲ್ 60". ಐ. ಎಫ್. ಐ. ಪಿ ವರ್ಕಿಂಗ್ ಕಾನ್ಫೆಕ್ಷನ್, ಬಾಡೆನ್, ಸೆಪ್ಟೆಂಬರ್ 1964ರಲ್ಲಿ ಪ್ರಸ್ತುತಪಡಿಸಿದ ಕರೆಂಟ್-ವಿತ್-ಕರೆಂಟ್-ಕಂಟಿನ್ಯೂಯೇಷನ್ ರೆಫೆರೆನ್ಸ್ಗಳನ್ನು ಸಹ ನೋಡಿ. ಲ್ಯಾಂಡಿನ್, ಪಿ. ಜೆ., "ಎಲ್ಎಂಪೆರೇಟಿವ್ಗಳಿಲ್ಲದ ಪ್ರೋಗ್ರಾಮಿಂಗ್-ಒಂದು ಉದಾಹರಣೆ", ಯುನಿವಾಕ್ ಎಸ್. ಪಿ. ಸಂಶೋಧನಾ ವರದಿ (ಮಾರ್ಚ್, 1965) ಲ್ಯಾಂಡಿನ್, ಪಿ. ಜೆ., "ಗೆಟಿಂಗ್ ರಿಡ್ ಆಫ್ ಲೇಬಲ್ಸ್", ಯುನಿವಾಕ್ ಎಸ್. ಪಿ. ಸಂಶೋಧನಾ ವರದಿ (ಜುಲೈ, 1965) ಲ್ಯಾಂಡಿನ್, ಪಿ. ಜೆ., "ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆಗಳಲ್ಲಿ ನಿಯೋಜನೆಯ ವಿಶ್ಲೇಷಣೆ", ಯುನಿವಾಕ್ ಎಸ್. ಪಿ. ಸಂಶೋಧನಾ ವರದಿ (ಸೆಪ್ಟೆಂಬರ್, 1965) ಲ್ಯಾಂಡಿನ್, ಪಿ. ಜೆ., "ಎ ಜನರಲೈಸೇಶನ್ ಆಫ್ ಜಂಪ್ಸ್ ಅಂಡ್ ಲೇಬಲ್ಸ್", math.bas.bg (1998) ಬೈ ಅದರ್ಸ್ 1965 ಇನ್ ಕಂಪ್ಯೂಟಿಂಗ್ ಕಂಟ್ರೋಲ್ ಫ್ಲೋ ಕಂಟಿನ್ಯೂಷನ್ಸ್ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಲಾಂಗ್ವೇಜ್ ಸೆಮಾಂಟಿಕ್ಸ್