रैखिक बाउंड ऑटोमेटा अन्य ऑटोमेटा की तरह लोकप्रिय क्यों नहीं हैं?


9

मेरे अनुभव में, संवेदी-संवेदनशील भाषाएं और रैखिक बाउंड ऑटोमेटा को अक्सर कम्प्यूटेबिलिटी थ्योरी पाठ्यक्रमों में छोड़ दिया जाता है, या यहां तक ​​कि कुछ उल्लेखनीय पाठ्य पुस्तकों से भी छोड़ दिया जाता है, हालांकि परिमित और पुशडाउन ऑटोमेटा पर बहुत ध्यान जाता है। निश्चित रूप से एक अच्छा कारण होना चाहिए कि एलबीए को उनके समकक्षों की तुलना में कम ध्यान क्यों दिया जाता है?



क्या आप विस्तार से बता सकते हैं कि जुड़ा हुआ प्रश्न केव से कैसे जुड़ा है? (क्योंकि मुझे नहीं लगता कि इसका स्वर यहाँ सहायक है, लेकिन व्यक्तिगत उत्तर हो सकता है)
राफेल

2
@ राफेल: केव से जुड़े सवाल के जवाब यह बताने के लिए जुड़े हैं कि संदर्भ-संवेदनशील भाषाओं को पहले जितना महत्वपूर्ण क्यों नहीं माना जाता है: संक्षेप में, विचार करने के लिए अन्य, अधिक दिलचस्प मॉडल हैं। (अधिक)
१२:२२ पर त्सुयोशी इतो २ '

2
(cont'd) यही कारण "रैखिक बाध्य ऑटोमेटा" पर लागू होता है। यह मज़ेदार है कि मैंने उस नाम के बारे में कभी नहीं सुना था। मेरे लिए वे सिर्फ O (n) -स्पेस नियतात्मक / nondeterministic ट्यूरिंग मशीन हैं, और मैं नहीं देख सकता कि हमें O (n) -स्पेस वाले (बहुपद स्थान या O (लॉग n) -स्पेस-और जो भी हो) के बजाय बाहर क्यों करना चाहिए, हालाँकि कोई ऐतिहासिक कारण रहा होगा। इसके अतिरिक्त, न तो DSPACE (O (n)) और न ही NSPACE (O (n)) को उप-कॉल के तहत बंद किया जाता है ।
त्सुयोशी इतो

1
त्सुयोशी, प्रश्न की मेरी व्याख्या यह है कि एफए, पीडीए और शेष चॉम्स्की पदानुक्रम (आपके / उत्तर के अनुसार समान रूप से उबाऊ) सिखाया जाता है, लेकिन एलबीए नहीं हैं।
राफेल

जवाबों:


13

"उपयुक्त" संशोधनों के साथ हम इन वर्गों को जटिलता वर्गों में बदल सकते हैं; परिमित ऑटोमेटा मेंNC1, LogCFL में CFL और PSPACE में LBA।

अब यह बिल्कुल स्पष्ट होना चाहिए कि हम एलबीए की तुलना में पहले दो में क्यों रुचि रखते हैं। पहले दो स्वाभाविक रूप से व्यवहार्य संगणना की सामान्य परिभाषा में फिट होते हैं। लेकिन PSPACE नहीं करता है।


1
एक LBA को PSPACE में बदलना लगभग रैखिक स्थान की तरह लगता है, आपको PSPACE पर कब्जा करने की आवश्यकता है जो स्पष्ट रूप से सच नहीं हो सकता है। तो सोचने में मेरी क्या गलती है?
सुरेश वेंकट

2
@ सुरेश: निम्नलिखित कनेक्शन हैं। समस्याओं का वर्ग जो (NC1-) नियमित भाषाओं के लिए reducible है NC1, समस्याओं का वर्ग (log-space-) CFL के लिए reducible है LogCFL, और समस्याओं का वर्ग (NC1- या लॉग-स्पेस) reducible to LBA PSPACE है। मुझे यकीन नहीं है कि अगर हम इन तीनों मामलों में एक ही धारणा का उपयोग कर सकते हैं।
त्सुयोशी इतो

एक अन्य वर्ग के लिए एक पूरी समस्या से युक्त (यहां तक ​​कि के तहत) सी0कटौती) वर्ग के दिलचस्प होने का एक अच्छा कारण नहीं लगता है।
केवह

3

खैर, अपने प्रोफेसर से पूछें कि उसने ऐसा क्यों किया। मैं केवल अनुमान लगा सकता हूं।

वे ट्यूरिंग पूर्ण मॉडल और पीडीए के रूप में दिलचस्प नहीं हैं क्योंकि वे बेकार के शून्य में हैं * वे, निश्चित रूप से, अपनी भाषा समकक्ष के साथ साझा करते हैं: जितना संभव हो उतना शक्तिशाली नहीं, लेकिन पहले से ही बहुत ही अट्रैक्टिव।

एक और कारण यह हो सकता है कि उनके बारे में उतना नहीं जाना जाता (यहां अनुमान लगाया गया है), लेकिन यह चिकन-अंडे की समस्या के लिए नीचे आ सकता है।

यह अस्पष्ट मौसम है एनएलबी=डीएलबी, ताकि हो सकता है कि दिक्कतों के लिए समस्याएं खड़ी हो जाएं। इसके अलावा, विशिष्ट प्रमाण (उदाहरण के लिए स्वीकृत भाषा, मॉडल समकक्ष) अन्य मॉडलों की तुलना में बहुत कठिन हैं।

(*) जानबूझकर अतिशयोक्ति


2

ऐसा लगता है कि सिर्फ सीएसजी ही नहीं बल्कि सीएफजी भी, ... इन दिनों फैशन से बाहर हैं। मैं इन दिनों ऑटोमेटा और पीडीए आमतौर पर कम्प्यूटेबिलिटी / जटिलता सिद्धांत पाठ्यक्रमों में लगा रहे हैं लगता है (यदि सभी) और वहाँ वे शामिल किए गए हैं नहीं उनके स्वयं के लिए लेकिन ट्यूरिंग मशीन शुरू करने की।

व्याकरण संभवतः संकलक सिद्धांत के लिए दिलचस्प हैं, लेकिन अभिकलन अंडरग्रेजुएट पाठ्यक्रम में शामिल होने के लिए संगणना / जटिलता के लिए इतना नहीं है। ऐसे बहुत से विषय हैं जिन्हें कोई कवर करना चाहेगा लेकिन एक सेमेस्टर का पाठ्यक्रम अभी बहुत छोटा है और हमें इनमें से कई विषयों का चयन करना होगा जिन्हें हम समय के प्रतिबंध के कारण कवर नहीं कर सकते हैं जो एलबीए की तुलना में अधिक दिलचस्प हैं।


1
काश आप सार्वभौमिक रूप से सच्चे होते! TCS पर इंट्रो क्लास मेरे यूनिव में सिखाई गई आधी ऑटोमेटा / सीएफएल है। मैं इस वर्ग का टीए-आईएनजी हूं, और छात्र वास्तव में दिलचस्पी लेने से बहुत दूर हैं। यह एक और कारण हो सकता है कि सीएफएल / सीएसएल को अब प्रस्तुत नहीं किया जाता है: ऐसे विषय हैं जो अधिक रोमांचक हैं।
माइकल कैडिलैक

1
खैर, सीएस सिद्धांत केवल जटिलता नहीं है। विशेष रूप से सीएफजी के साथ-साथ संबंधित ऑटोमेटन मॉडल सीएस की कई शाखाओं में बहुत महत्वपूर्ण (कम से कम नींव के रूप में) हैं। एक परिचयात्मक पाठ्यक्रम आपको सभी शाखाओं के लिए तैयार करना चाहिए। क्षमा करें, लेकिन यह उत्तर अज्ञान की तरह बदबू आ रही है। साथ ही, यह सवाल का जवाब नहीं देता है।
राफेल

@ राफेल, मैं कम्प्यूटेबिलिटी / जटिलता सिद्धांत पाठ्यक्रमों के बारे में बात कर रहा हूं, जहां मैं अभी जिन विश्वविद्यालयों में जानता हूं, वहां ऑटोमेटा सिद्धांत पर विचार किया जा रहा है। सामान्य रूप से सिद्धांत पाठ्यक्रमों के बारे में किसी ने कुछ नहीं कहा। मुझे लगता है कि दूसरों पर अज्ञानता का आरोप लगाने से पहले आपको पोस्ट को ध्यान से पढ़ना चाहिए। मेरी पोस्ट इस सवाल का जवाब देती है: एलबीए को संगणना / जटिलता सिद्धांत पाठ्यक्रमों में क्यों नहीं सोचा जाता है? यही कारण है, और यही कारण है कि कम्प्यूटेबिलिटी और जटिलता सिद्धांत पाठ्यपुस्तकों में एलबीए के बारे में बहुत कुछ शामिल नहीं है, चाहे आप इसे पसंद करें या नहीं।
केवह

तो आप पूरी दुनिया में हर लेखक और व्याख्याता के व्यक्तिगत कारणों से निजी हैं? हाँ सही। वैसे भी, कृपया ध्यान दें कि "जटिलता" शब्द पोस्ट किए गए प्रश्न में बिल्कुल नहीं होता है। ध्यान दें कि ऊपर दिए गए आश्चर्य की टिप्पणी और संपादित करने से, आपने प्रश्न का उत्तर नहीं दिया। तथ्य, आप इसे पसंद करते हैं या नहीं।
राफेल २

1
@ राफेल, आप अभी भी ध्यान से नहीं पढ़ते हैं और आप जो पसंद करते हैं, उसकी व्याख्या करना जारी रखते हैं, यह मुझे लगता है कि आप सिर्फ बहस करना चाहते हैं, मुझे लगता है कि मेरी बात काफी स्पष्ट है, इसलिए जैसा आप चाहें वैसा ही सोचने के लिए स्वतंत्र महसूस करें। :)
केव

2

पार्सिंग कोड (यानी, प्रोग्रामिंग भाषाओं) के लिए नियमित अभिव्यक्ति और सीएफजी का उपयोग किया जाता है। कारण यह है कि उन्हें पार्स करने के लिए बहुत कुशल एल्गोरिदम हैं। दूसरी ओर, LBA, वास्तव में उस संदर्भ में उपयोग करने के लिए बहुत शक्तिशाली हैं।

ऑटोमेटा सिद्धांत का एक ऐतिहासिक मूल संकलक निर्माण का विषय है। ऊपर वर्णित कारण के लिए, केवल नियमित भाषा और सीएफजी कंपाइलर्स के निर्माण के लिए उपयोगी हैं (इस तथ्य के बावजूद कि वास्तव में व्याकरण वास्तव में सीएफजी नहीं हैं, और यह कि सीएफजी पार्सिंग एल्गोरिदम वास्तव में सीएफजी के पूरे वर्ग को पार्स नहीं करते हैं)। LBAs का आविष्कार चॉम्स्की द्वारा सांसारिक और "अंग्रेजी" के बीच जटिलता के कुछ मध्यवर्ती स्तर के रूप में किया गया हो सकता है। इसलिए शायद उन्हें पढ़ाने के लिए उचित जगह कंप्यूटर विज्ञान के बजाय भाषा विज्ञान के पाठ्यक्रमों में है!


चूंकि एलबीए संदर्भ-संवेदी व्याकरण के काफी प्राकृतिक वर्ग के बराबर हैं, मुझे नहीं लगता कि उनका आविष्कार केवल मनोरंजन के लिए किया गया था। ;)
राफेल

@ राफेल: युवल का मतलब यह बिल्कुल नहीं था।
reinierpost
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.