Conjunctive grammar
ಕಂಜಂಕ್ಟಿವ್ ವ್ಯಾಕರಣಗಳು ಔಪಚಾರಿಕ ಭಾಷಾ ಸಿದ್ಧಾಂತದಲ್ಲಿ ಅಧ್ಯಯನ ಮಾಡಲಾದ ಔಪಚಾರಿಕ ವ್ಯಾಕರಣಗಳ ಒಂದು ವರ್ಗವಾಗಿದೆ. ಅವು ಮೂಲ ವಿಧದ ವ್ಯಾಕರಣಗಳನ್ನು, ಸಂದರ್ಭ-ಮುಕ್ತ ವ್ಯಾಕರಣಗಳನ್ನು, ಸಂಯೋಗ ಕಾರ್ಯಾಚರಣೆಯೊಂದಿಗೆ ವಿಸ್ತರಿಸುತ್ತವೆ. ಸ್ಪಷ್ಟ ಸಂಯೋಗದ ಜೊತೆಗೆ, ಕಾಂಜಂಕ್ಟಿವ್ ವ್ಯಾಕರಣಗಳು ಒಂದೇ ಟರ್ಮಿನಲ್ ಅಲ್ಲದ ಚಿಹ್ನೆಗೆ ಅನೇಕ ನಿಯಮಗಳಿಂದ ಪ್ರತಿನಿಧಿಸುವ ಸೂಚ್ಯ ವಿಭಜನೆಯನ್ನು ಅನುಮತಿಸುತ್ತವೆ, ಇದು ಸಂದರ್ಭ-ಮುಕ್ತ ವ್ಯಾಕರಣಗಳಲ್ಲಿ ವ್ಯಕ್ತಪಡಿಸಬಹುದಾದ ಏಕೈಕ ತಾರ್ಕಿಕ ಸಂಯೋಜಕವಾಗಿದೆ. ನಿರ್ದಿಷ್ಟವಾಗಿ, ಭಾಷೆಗಳ ಛೇದನವನ್ನು ನಿರ್ದಿಷ್ಟಪಡಿಸಲು ಸಂಯೋಗವನ್ನು ಬಳಸಬಹುದು. ಬೂಲಿಯನ್ ವ್ಯಾಕರಣಗಳು ಎಂದು ಕರೆಯಲ್ಪಡುವ ಸಂಯೋಜಿತ ವ್ಯಾಕರಣಗಳ ಮತ್ತಷ್ಟು ವಿಸ್ತರಣೆಯು ಹೆಚ್ಚುವರಿಯಾಗಿ ಸ್ಪಷ್ಟ ನಿರಾಕರಣೆಯನ್ನು ಅನುಮತಿಸುತ್ತದೆ. ಸಂಯೋಗಾತ್ಮಕ ವ್ಯಾಕರಣದ ನಿಯಮಗಳು ಅಂತ್ಯವಿಲ್ಲದ ಮತ್ತು.., ಮತ್ತು (ಅನುಕ್ರಮವಾಗಿ ಅಂತ್ಯವಿಲ್ಲದ ಮತ್ತು ಅಂತ್ಯವಿಲ್ಲದ ಚಿಹ್ನೆಗಳ ಸೀಮಿತ ಸೆಟ್ಗಳು) ಚಿಹ್ನೆಗಳಿಂದ ರೂಪುಗೊಂಡ ತಂತಿಗಳ ರೂಪದಲ್ಲಿರುತ್ತವೆ. ಅನೌಪಚಾರಿಕವಾಗಿ, ಅಂತಹ ನಿಯಮವು ಪ್ರತಿ ಸ್ಟ್ರಿಂಗ್ ಅನ್ನು ಪ್ರತಿನಿಧಿಸುವ ಪ್ರತಿಯೊಂದು ವಾಕ್ಯರಚನೆಯ ಷರತ್ತುಗಳನ್ನು ತೃಪ್ತಿಪಡಿಸುತ್ತದೆ ಎಂದು ಪ್ರತಿಪಾದಿಸುತ್ತದೆ, ಆದ್ದರಿಂದ ವ್ಯಾಖ್ಯಾನಿಸಲಾದ ಷರತ್ತನ್ನು ತೃಪ್ತಿಪಡಿಸುತ್ತದೆ. ಸಾಂದರ್ಭಿಕ ವ್ಯಾಕರಣವನ್ನು 4-ಟುಪಲ್ನಿಂದ ವ್ಯಾಖ್ಯಾನಿಸಲಾಗಿದೆ, ಅಲ್ಲಿ ಒಂದು ಸೀಮಿತ ಸೆಟ್ ಆಗಿದೆ; ಪ್ರತಿ ಅಂಶವನ್ನು ಟರ್ಮಿನಲ್ ಅಲ್ಲದ ಚಿಹ್ನೆ ಅಥವಾ ವೇರಿಯೇಬಲ್ ಎಂದು ಕರೆಯಲಾಗುತ್ತದೆ. ಪ್ರತಿಯೊಂದು ವೇರಿಯೇಬಲ್ ವಾಕ್ಯದಲ್ಲಿ ವಿಭಿನ್ನ ರೀತಿಯ ಪದಗುಚ್ಛ ಅಥವಾ ಷರತ್ತನ್ನು ಪ್ರತಿನಿಧಿಸುತ್ತದೆ. ವೇರಿಯೇಬಲ್ಗಳನ್ನು ಕೆಲವೊಮ್ಮೆ ವಾಕ್ಯರಚನೆಯ ವರ್ಗಗಳು ಎಂದೂ ಕರೆಯಲಾಗುತ್ತದೆ. ಇದು ವಾಕ್ಯದ ನಿಜವಾದ ವಿಷಯವನ್ನು ರೂಪಿಸುವ ಟರ್ಮಿನಲ್ಗಳ ಒಂದು ಸೀಮಿತ ಗುಂಪಾಗಿದೆ, ಇವುಗಳಿಂದ ಬೇರ್ಪಡುತ್ತವೆ. ಟರ್ಮಿನಲ್ಗಳ ಸಮೂಹವು ವ್ಯಾಕರಣದಿಂದ ವ್ಯಾಖ್ಯಾನಿಸಲಾದ ಭಾಷೆಯ ವರ್ಣಮಾಲೆಯಾಗಿದೆ. ಇದು ಉತ್ಪಾದನೆಗಳ ಒಂದು ಸೀಮಿತ ಗುಂಪಾಗಿದೆ, ಪ್ರತಿಯೊಂದೂ ಮತ್ತು ಕೆಲವರಿಗೆ ರೂಪವಾಗಿದೆ. ಇದರ ಸದಸ್ಯರನ್ನು ವ್ಯಾಕರಣದ ನಿಯಮಗಳು ಅಥವಾ ರಚನೆಗಳು ಎಂದು ಕರೆಯಲಾಗುತ್ತದೆ. ಸಂಪೂರ್ಣ ವಾಕ್ಯವನ್ನು (ಅಥವಾ ಪ್ರೋಗ್ರಾಂ) ಪ್ರತಿನಿಧಿಸಲು ಬಳಸಲಾಗುವ ಪ್ರಾರಂಭದ ಚಲಪರಿಮಾಣವು (ಅಥವಾ ಪ್ರಾರಂಭದ ಚಿಹ್ನೆ). ಇದು ಒಂದು ಅಂಶವಾಗಿರಬೇಕು. ಎಲ್ಲಾ ಬಲಗೈ ಬದಿಗಳನ್ನು ಒಂದೇ ಎಡಗೈಗೆ ಒಂದೇ ಸಾಲಿನಲ್ಲಿ ಪಟ್ಟಿ ಮಾಡುವುದು ಸಾಮಾನ್ಯವಾಗಿದೆ, ಅವುಗಳನ್ನು ಪ್ರತ್ಯೇಕಿಸಲು | (ಪೈಪ್ ಚಿಹ್ನೆ) ಬಳಸಿ. ನಿಯಮಗಳು ಮತ್ತು ಆದ್ದರಿಂದ ಇದನ್ನು ಹೀಗೆ ಬರೆಯಬಹುದು. ಸಂಯೋಜಿತ ವ್ಯಾಕರಣದಿಂದ ನಿರ್ದಿಷ್ಟಪಡಿಸಲಾದ ಭಾಷೆಯ ಎರಡು ಸಮಾನವಾದ ಔಪಚಾರಿಕ ವ್ಯಾಖ್ಯಾನಗಳು ಅಸ್ತಿತ್ವದಲ್ಲಿವೆ. ಒಂದು ವ್ಯಾಖ್ಯಾನವು ವ್ಯಾಕರಣವನ್ನು ಒಕ್ಕೂಟ, ಛೇದನ ಮತ್ತು ಸಂಯೋಜನೆಯೊಂದಿಗೆ ಭಾಷಾ ಸಮೀಕರಣಗಳ ವ್ಯವಸ್ಥೆಯಾಗಿ ಪ್ರತಿನಿಧಿಸುತ್ತದೆ ಮತ್ತು ಅದರ ಕನಿಷ್ಠ ಪರಿಹಾರವನ್ನು ಪರಿಗಣಿಸುತ್ತದೆ. ಇತರ ವ್ಯಾಖ್ಯಾನವು ಚಾಮ್ಸ್ಕಿಯ ಸಂದರ್ಭ-ಮುಕ್ತ ವ್ಯಾಕರಣಗಳ ಉತ್ಪಾದಕ ವ್ಯಾಖ್ಯಾನವನ್ನು ಸಂಯೋಗ ಮತ್ತು ಸಂಯೋಜನೆಯ ಮೇಲೆ ಪದಗಳ ಮರುಬರಹವನ್ನು ಬಳಸಿಕೊಂಡು ಸಾಮಾನ್ಯೀಕರಿಸುತ್ತದೆ. ವ್ಯುತ್ಪತ್ತಿಯ ಮೂಲಕ ವ್ಯಾಖ್ಯಾನ ಯಾವುದೇ ಸ್ಟ್ರಿಂಗ್ಗಳಿಗೆ, ನಾವು ನೇರವಾಗಿ ಇಳುವರಿ ಎಂದು ಹೇಳುತ್ತೇವೆ, ಇದನ್ನು ಹೀಗೆ ಬರೆಯಲಾಗುತ್ತದೆ, ಒಂದೋ ಅಂತಹ ನಿಯಮವಿದ್ದರೆ ಮತ್ತು, ಅಥವಾ ಅಂತಹ ಸ್ಟ್ರಿಂಗ್ ಅಸ್ತಿತ್ವದಲ್ಲಿದ್ದರೆ ಮತ್ತು. ನಾವು ಉತ್ಪಾದಿಸುತ್ತದೆ ಎಂದು ಹೇಳುವ ಯಾವುದೇ ಸ್ಟ್ರಿಂಗ್ಗೆ, ಹಾಗೆ ಬರೆಯಲಾಗಿದೆ. ವ್ಯಾಕರಣದ ಭಾಷೆಯು ಅದು ಉತ್ಪಾದಿಸುವ ಎಲ್ಲಾ ತಂತಿಗಳ ಸಮೂಹವಾಗಿದೆ. ಉದಾಹರಣೆ ವ್ಯಾಕರಣವು, ನಿರ್ಮಾಣಗಳೊಂದಿಗೆ,,,,, ಸಂಯೋಗಾತ್ಮಕವಾಗಿದೆ. ಒಂದು ವಿಶಿಷ್ಟ ವ್ಯುತ್ಪತ್ತಿಯೆಂದರೆ ಇದನ್ನು ತೋರಿಸಬಹುದು. ಈ ಭಾಷೆಯು ಸಂದರ್ಭ-ಮುಕ್ತವಾಗಿಲ್ಲ, ಇದು ಸಂದರ್ಭ-ಮುಕ್ತ ಭಾಷೆಗಳಿಗೆ ಪಂಪ್ ಲೆಮ್ಮಾದಿಂದ ಸಾಬೀತಾಗಿದೆ. ಪಾರ್ಸಿಂಗ್ ಕ್ರಮಾವಳಿಗಳು ಕಾಂಜಂಕ್ಟಿವ್ ವ್ಯಾಕರಣಗಳ ಅಭಿವ್ಯಕ್ತಿ ಶಕ್ತಿಯು ಸಂದರ್ಭ-ಮುಕ್ತ ವ್ಯಾಕರಣಗಳಿಗಿಂತ ಹೆಚ್ಚಿದ್ದರೂ, ಕಾಂಜಂಕ್ಟಿವ್ ವ್ಯಾಕರಣಗಳು ನಂತರದ ಕೆಲವನ್ನು ಉಳಿಸಿಕೊಳ್ಳುತ್ತವೆ. ಬಹು ಮುಖ್ಯವಾಗಿ, ಮುಖ್ಯ ಸಂದರ್ಭ-ಮುಕ್ತ ಪಾರ್ಸಿಂಗ್ ಕ್ರಮಾವಳಿಗಳ ಸಾಮಾನ್ಯೀಕರಣಗಳಿವೆ, ಇದರಲ್ಲಿ ರೇಖೀಯ-ಸಮಯದ ಪುನರಾವರ್ತಿತ ಇಳಿಕೆ, ಘನ-ಸಮಯದ ಸಾಮಾನ್ಯೀಕೃತ ಎಲ್ಆರ್, ಘನ-ಸಮಯದ ಕಾಕ್-ಕಸಾಮಿ-ಯಂಗರ್, ಜೊತೆಗೆ ವೇಲಿಯಂಟ್ನ ಕ್ರಮಾವಳಿಗಳು ಮ್ಯಾಟ್ರಿಕ್ಸ್ ಗುಣಾಕಾರದಷ್ಟು ವೇಗವಾಗಿ ಕಾರ್ಯನಿರ್ವಹಿಸುತ್ತವೆ. ಸೈದ್ಧಾಂತಿಕ ಗುಣಲಕ್ಷಣಗಳು ಸಂದರ್ಭ-ಮುಕ್ತ ಭಾಷೆಗಳು ಅಥವಾ ಅವುಗಳ ಸೀಮಿತ ಛೇದಕಗಳಿಗೆ ಈಗಾಗಲೇ ನಿರ್ಣಯಿಸಲಾಗದ ಒಂದು ಗುಣವು, ಸಂಯೋಗಾತ್ಮಕ ವ್ಯಾಕರಣಗಳಿಗೂ ಸಹ ನಿರ್ಣಯಿಸಲಾಗದಂತಿರಬೇಕು; ಇವುಗಳಲ್ಲಿ ಇವು ಸೇರಿವೆಃ ಶೂನ್ಯತೆ, ಮಿತತೆ, ಕ್ರಮಬದ್ಧತೆ, ಸಂದರ್ಭ-ಸ್ವಾತಂತ್ರ್ಯ, ಒಳಗೊಳ್ಳುವಿಕೆ ಮತ್ತು ಸಮಾನತೆ. ಸಂಯೋಗ ಭಾಷೆಗಳ ಕುಟುಂಬವು ಒಕ್ಕೂಟ, ಛೇದನ, ಸಂಯೋಗ ಮತ್ತು ಕ್ಲೈನ್ ನಕ್ಷತ್ರದ ಅಡಿಯಲ್ಲಿ ಮುಚ್ಚಲ್ಪಟ್ಟಿದೆ, ಆದರೆ ಸ್ಟ್ರಿಂಗ್ ಹೋಮೋಮಾರ್ಫಿಸಮ್, ಪೂರ್ವಪ್ರತ್ಯಯ, ಪ್ರತ್ಯಯ ಮತ್ತು ಸಬ್ಸ್ಟ್ರಿಂಗ್ ಅಡಿಯಲ್ಲಿ ಅಲ್ಲ. ಪೂರಕ ಮತ್ತು ε-ಮುಕ್ತ ಸ್ಟ್ರಿಂಗ್ ಹೋಮೋಮಾರ್ಫಿಸಮ್ನ ಅಡಿಯಲ್ಲಿ ಮುಚ್ಚುವಿಕೆಯು ಇನ್ನೂ ಮುಕ್ತ ಸಮಸ್ಯೆಗಳಾಗಿವೆ (2001 ರಂತೆ). ಒಂದು ಅಕ್ಷರದ ವರ್ಣಮಾಲೆಯ ಮೇಲೆ ವ್ಯಾಕರಣದ ಅಭಿವ್ಯಕ್ತಿ ಸಾಮರ್ಥ್ಯವನ್ನು ಸಂಶೋಧಿಸಲಾಗಿದೆ. ಈ ಕೃತಿಯು ಹೆಚ್ಚು ಸಾಮಾನ್ಯ ಸ್ವರೂಪದ ಭಾಷಾ ಸಮೀಕರಣಗಳ ಅಧ್ಯಯನಕ್ಕೆ ಆಧಾರವನ್ನು ಒದಗಿಸಿತು. ಸಿಂಕ್ರೊನೈಸ್ಡ್ ಆಲ್ಟರ್ನೇಟಿಂಗ್ ಪುಷ್ ಡೌನ್ ಆಟೋಮ್ಯಾಟಾ ಐಜಿಕೋವಿಟ್ಜ್ ಮತ್ತು ಕಮಿನ್ಸ್ಕಿ ಸಿಂಕ್ರೊನೈಸ್ಡ್ ಆಲ್ಟರ್ನೇಟಿಂಗ್ ಪುಷ್ ಡೌನ್ ಆಟೋಮ್ಯಾಟಾ (ಎಸ್ಎಪಿಡಿಎ) ಎಂಬ ಹೊಸ ವರ್ಗದ ಪುಷ್ ಡೌನ್ ಆಟೋಮ್ಯಾಟಾವನ್ನು (ಪಿಡಿಎ) ಪರಿಚಯಿಸಿದರು. ನಿರ್ಧಿಷ್ಟವಲ್ಲದ ಪಿ. ಡಿ. ಎ. ಗಳು ಸಂದರ್ಭ-ಮುಕ್ತ ವ್ಯಾಕರಣಗಳಿಗೆ ಸಮಾನವಾಗಿರುವ ರೀತಿಯಲ್ಲಿಯೇ ಅವರು ಇದನ್ನು ಸಂಯೋಜಿತ ವ್ಯಾಕರಣಗಳಿಗೆ ಸಮಾನವೆಂದು ಸಾಬೀತುಪಡಿಸಿದರು. ಟಿಪ್ಪಣಿಗಳು ಉಲ್ಲೇಖಗಳು ಬಾಹ್ಯ ಕೊಂಡಿಗಳು ತಾಂತ್ರಿಕ ವರದಿ ಆವೃತ್ತಿ (ಪಿಡಿಎಫ್) ಔಪಚಾರಿಕ ಭಾಷೆಗಳು