चूंकि मुझे पार्सर्स में दिलचस्पी है (मुख्य रूप से पार्सर अभिव्यक्ति व्याकरण में), मैं सोच रहा हूं कि क्या कुछ काम है जो पार्सिंग का एक श्रेणीबद्ध उपचार देता है। श्रेणी सिद्धांत के पार्सिंग के अनुप्रयोगों पर किसी भी संदर्भ की बहुत सराहना की जाती है।
श्रेष्ठ,
जवाबों:
बीजीय ज्यामिति के बाहर एक विषय के लिए श्रेणी सिद्धांत के पहले अनुप्रयोगों में से एक को पार्स करना था! आप अपनी खोज को निर्देशित करने के लिए जो कीवर्ड चाहते हैं वे हैं "लैम्बेक कैलकुलस" और "श्रेणीबद्ध व्याकरण"।
आधुनिक शब्दों में, जोआचिम लाम्बेक ने मॉडल वाक्य संरचना के क्रम में नॉनकम्यूटेटिव लीनियर लॉजिक का आविष्कार किया । मूल विचार यह है कि आप भाषण के बुनियादी हिस्सों को प्रकार के रूप में दे सकते हैं, और फिर (कहते हैं) अंग्रेजी विशेषणों को एक फ़ंक्शन प्रकार देते हैं जो संज्ञा वाक्यांशों को संज्ञा वाक्यांशों के रूप में लेते हैं। (उदाहरण के लिए, "ग्रीन" को संज्ञाओं को संज्ञा में लेने वाले फ़ंक्शन के रूप में देखा जाता है, जिसका अर्थ है कि "हरी अंडे" अच्छी तरह से टाइप किया जाता है, क्योंकि "अंडे" एक संज्ञा है)।
यह पता चला है कि लैम्बेक व्याकरण संदर्भ मुक्त भाषाओं के बराबर है, हालांकि स्पष्ट रूप से यह काफी कठिन परिणाम है - सीएफजी दिखाते हैं लैंबेक व्याकरण का सबसेट आसान है, लेकिन दूसरी दिशा केवल 1991 में पेन्टस द्वारा स्थापित की गई थी।
एक अच्छा व्यायाम ^ एच ^ एच ^ रीडर के लिए गणतंत्र (यानी, मैंने इसे आज़माया नहीं है, लेकिन लगता है कि यह कोशिश करने के लिए अच्छा होगा) ल्यूमबेक कैलकुलस का उपयोग करने के लिए बूलियन गुणन के माध्यम से सीवाईके पार्सिंग की वैलेंट की प्रस्तुति को सुधारने के लिए , स्पष्ट है। शर्तों। प्रेरणा के रूप में, मैं लैम्बब के 1958 के पेपर द मैथमेटिक्स ऑफ सेंटेंस स्ट्रक्चर से उद्धृत करता हूं :
यहाँ प्रस्तुत पथरी औपचारिक रूप से GD Findlay द्वारा निर्मित पथरी के साथ और रैखिक और बहुरेखीय बीजगणित में विहित मेपिंग की चर्चा के लिए वर्तमान लेखक के समान है।
ऐसा लगता है कि (संदर्भ मुक्त) को पार्स एक ला Parsec स्वाभाविक रूप से के रूप में व्यक्त किया जाता है अनुप्रयोगी प्रकार वर्ग। बदले में, इस वर्ग को तथाकथित मजबूत लक्स मोनॉयडल फंक्शनलर्स द्वारा अच्छी तरह से वर्णित किया गया है , जो कि इस बहुत ही अच्छे cstheory प्रश्न और इस अच्छे स्टैकओवरफ़्लो प्रश्न में वर्णित हैं ।
आमतौर पर, पारसेक पार्सर्स मोनाड हैं , जो सीएस सिद्धांत और श्रेणी सिद्धांत दोनों में बहुत अच्छी तरह से ज्ञात हैं, जब तक कि मैं संदर्भ नहीं देने वाला हूं।