ऑटोमेटा सिद्धांत / औपचारिक भाषा थीसिस विषय

Question

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

किन्हीं भी सुझावों को स्वीकार किया जाएगा!

Comments

सामान्य तौर पर, इस तरह के प्रश्नों में यह निर्दिष्ट करना बहुत उपयोगी होगा कि आप किस तरह की थीसिस लिखने वाले हैं: उदाहरण के लिए, बीएससी, एमएससी, पीएचडी, कुछ और? विशेष रूप से, क्या आपको नए शोध या "बस" मौजूदा ज्ञान को व्यवस्थित करने की उम्मीद है?

— जुल्का सुमेला

मैं निर्दिष्ट नहीं करने के लिए माफी चाहता हूं, मैंने इसे अपने एमएससी के लिए दिखाने के लिए ऊपर संपादित किया है। जहां तक ​​मैं बता सकता हूं, सभी शोधों को नए परिणामों / अनुसंधान में योगदान करना चाहिए और केवल मौजूदा ज्ञान का एक संगठन नहीं है। यदि आपके पास कोई सुझाव है तो उस गली को कुछ।

— विंसेंट रुसो

Answer 1

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

Comments

जहां तक ​​मेरे थीसिस विषय की योग्यता को काम पर रखने की व्यावहारिकता का सवाल है, तो मैं बहुत चिंतित नहीं हूं। मुझे लगता है कि ये विषय बहुत ही रोचक हैं और मैं अपना समय समर्पित करूँगा, क्योंकि मैं कुछ करने के बजाय भावुक हूँ और मुझे कुछ भी मिलेगा। उस के साथ कहा, मैं जैविक थीम्ड विचार पसंद है। मैं क्वांटम कंप्यूटिंग का भी बहुत बड़ा प्रशंसक हूं, फिर भी इस बात के लिए अनिश्चित हूं कि मास्टर्स स्तर की थीसिस वास्तव में क्वांटम जटिलता पर आ सकती है।

— विंसेंट रुसो

70 के दशक के काम के लिए समस्याएं भी अलग और कठिन हैं: प्राकृतिक कंप्यूटिंग समस्याएं क्लासिक स्ट्रिंग-पार्सिंग समस्याएं नहीं हैं, लेकिन आमतौर पर चक्रीय रेखांकन पर। "ग्राफ व्याकरण प्राकृतिक कंप्यूटिंग" को देखें।

— चार्ल्स स्टीवर्ट

वास्तव में एक दिलचस्प विषय। Biocomputing (जो मैं के साथ शामिल किया गया है) के डीएनए किनारा विस्थापन के बाहर की एक और शाखा molecular-programming.org परियोजना biocomputing डोमेन के "प्रोग्रामिंग" पहलू ध्यान दे रहा है: diku.dk/~neil/blobentcs.pdf । मेरी पक्षपाती राय में देखने लायक है :)

— svrist

@svrist, हार्टमैन एट अल के लिंक को पोस्ट करने के लिए बहुत बहुत धन्यवाद। कागज। मैं आज इसे पढ़ूंगा। यह मेरे द्वारा यहां पूछे गए प्रश्न के उत्तर की तरह दिखता है: cstheory.stackexchange.com/questions/114/… तो आपने अभी-अभी मेरा दिन बनाया है। :-)

— हारून स्टर्लिंग

Answer 2

मुझे लगता है कि डेविड एप्पस्टीन भी ऑटोमेटा सिद्धांत और औपचारिक भाषाओं के क्षेत्र से बहुत ज्यादा प्रभावित हैं। दावा है कि "इसे शीर्ष-स्तरीय सम्मेलनों में प्रकाशित किया जा रहा है और किसी को स्नातक होने के बाद आप को काम पर रखने के लिए समझाने के लिए आश्वस्त किया जा सकता है" ऐसा प्रतीत होता है कि हल्दाने ने आंटी जोबिसका के प्रमेय को कहा: "यह एक ऐसा तथ्य है जिसे पूरी दुनिया जानती है।"

वास्तव में, अच्छे सम्मेलन (जैसे STACS और ICALP) हैं जो नियमित रूप से ऑटोमेटा सिद्धांत और औपचारिक भाषाओं में परिणाम प्रकाशित करते हैं; वहाँ अच्छी तरह से भाग लेने वाले सम्मेलन (जैसे डीएलटी) हैं जो क्षेत्र पर ध्यान केंद्रित करते हैं; यह जर्मनी, फ्रांस और इटली में बहुत सक्रिय क्षेत्र है; क्षेत्र में बड़ी खुली समस्याएं हैं; और मैं ऐसे कई छात्रों को जानता हूं जिन्हें नौकरी पाने में कोई परेशानी नहीं हुई।

Comments

यह आश्वस्त करता है कि आटोमेटा सिद्धांत और औपचारिक भाषाओं के रूप में देखने पर कंप्यूटर विज्ञान के क्षेत्र में जो कुछ भी किया गया है वह सब आश्चर्यजनक है। जहां तक ​​जॉब मार्केट की बात है तो मैं इसमें अपना समय नहीं लगा रहा हूं क्योंकि मुझे पैसा बनाने की परवाह है, मैं इसे कर रहा हूं क्योंकि मैं विषय के बारे में भावुक हूं। सुझाव के लिए धन्यवाद।

— विन्सेन्ट रुसो

वैसे, क्या इन खुली समस्याओं के लिए ऑनलाइन कोई अच्छी रिपॉजिटरी हैं जिनका आप उल्लेख कर रहे हैं? मैंने यहाँ और वहाँ कुछ पाया है, लेकिन उनमें से अधिकांश सबसे अधिक "व्यावसायिक" सैद्धांतिक कंप्यूटर विज्ञान विषय हैं। यानी एनपी? = पी आदि मदद के लिए फिर से धन्यवाद।

— विन्सेन्ट रूसो

@Captainhampton: आप नवीनतम कार्य और उनसे उत्पन्न होने वाली समस्याओं को देखने के लिए STACS और ICALP (जैसा कि जेफरी के जवाब में उल्लेख किया गया है) जैसे सम्मेलनों की कार्यवाही ब्राउज़ करने का प्रयास करना चाहते हैं। इस पद्धति का उपयोग करके अच्छे थीसिस विषयों को अक्सर पाया जा सकता है।

— रयान विलियम्स

Answer 3

थीसिस विषय के साथ मदद करना एक कारण है कि हमारे पास स्नातक छात्रों के लिए पर्यवेक्षक हैं, इसलिए आपको इसके बारे में अपने पर्यवेक्षक से परामर्श करना चाहिए।

सामान्य सलाह जो मैंने सुनी है वह यह है कि आप जिस क्षेत्र में काम करना चाहते हैं, उस क्षेत्र के कई प्रतिष्ठित सम्मेलनों की कार्यवाही करें और उनमें कागजात पर एक नज़र डालें, जब तक कि आप कुछ दिलचस्प नहीं पाते हैं और अपने पर्यवेक्षक के साथ इस पर चर्चा करें कि क्या यह एक उचित थीसिस विषय है।

Comments

प्रतिक्रिया के लिए धन्यवाद Kaveh। मैं अपने सलाहकार के साथ आगे और पीछे बात कर रहा हूं, लेकिन अंततः निर्णय मेरे ऊपर है क्योंकि मैं अपने समय के थोक को विषय के लिए समर्पित करूंगा। तो बस उत्सुक अगर यहाँ किसी को विषय वस्तु के साथ कोई अच्छा थीसिस अनुभव था। संभवत: क्वांटम जटिलता से संबंधित कुछ है लेकिन एक मास्टर्स थीसिस स्तर के लिए "काटने का आकार" पर्याप्त है।

— विंसेंट रुसो

Answer 4

एक और फलदायी क्षेत्र जो पहले से ही यहां उल्लेखित नहीं है, वह है ऑटोमेटा सिद्धांत और तर्क के बीच संबंध। मुझे लगता है कि यह अनुसंधान दिशा उत्तरी अमेरिका की तुलना में यूरोप अधिक लोकप्रिय है। चूंकि मैं उस क्षेत्र में काम नहीं करता, इसलिए मैं आपको एक विशिष्ट समस्या का सुझाव नहीं दे सकता। लेकिन आप हाल के कार्यों के लिए हालिया LICS 2010 के साथ-साथ पिछले लोगों की भी जांच कर सकते हैं। व्याख्यान नोट्स लिओनिड लिबकिन द्वारा एक कोर्स से एक अच्छी जगह शुरू करने के लिए है।

Comments

एक उदाहरण के रूप में, नेस्टेड शब्द भाषाओं का अध्ययन जो कि नेत्रहीन पुशडाउन ऑटोमेटा द्वारा मान्यता प्राप्त हैं, ने पिछले एक दशक में बहुत अधिक ध्यान आकर्षित किया है। एक कारण यह है कि यह एक्सएमएल से संबंधित कई समस्याओं का एक अच्छा मॉडल है, एक और यह है कि मॉडल कई अलग-अलग क्षेत्रों (प्रोग्रामिंग भाषा सिद्धांत, सॉफ्टवेयर सत्यापन, संक्षिप्त, तर्क) में एक साथ काम करने के लिए कार्य करता है। यह उन विषयों में से एक लगता है जो सही मायने में ए / बी को विभाजित करते हैं। cis.upenn.edu/~alur/nw.html

— एंड्रास सालेमन

Answer 5

ऑटोमेटा सिद्धांत और औपचारिक भाषाओं का सैद्धांतिक अध्ययन रुग्णता की तरह है (इसका अर्थ है, आप अभी भी काम करने के लिए दिलचस्प शोध समस्याएं पा सकते हैं, लेकिन शीर्ष स्तर के सम्मेलनों में प्रकाशित होने और किसी को स्नातक होने के बाद आपको नौकरी देने के लिए आश्वस्त करना समस्याग्रस्त हो सकता है) । हालांकि, मेरा मानना ​​है कि इंटरनेट के खतरे / घुसपैठ का पता लगाने आदि के लिए औपचारिक भाषा सिद्धांत को लागू करने पर भी दिलचस्प काम हो रहा है, और यह क्षेत्र अभी बहुत अधिक गर्म लगता है।

उदाहरण देखें

वैगनर और डीन, स्थैतिक विश्लेषण के माध्यम से घुसपैठ का पता लगाने, IEEE Symp। सुरक्षा और गोपनीयता 2001

वैगनर और सोटो, मिमिक्री मेजबान आधारित घुसपैठ का पता लगाने वाले सिस्टम, एसीएम कॉन्फिडेंस पर हमला करते हैं। कंप्यूटर और संचार सुरक्षा 2002

गिफ़िन, झा, और मिलर, कुशल संदर्भ-संवेदनशील घुसपैठ का पता लगाने, एनडीएसएस 2004

फेंग एट अल, घुसपैठ का पता लगाने के लिए स्टेटिक विश्लेषण में संवेदनशीलता का गठन, सुरक्षा और गोपनीयता 2004 पर IEEE संगोष्ठी

Comments

मैं इस बात से सहमत हूं कि ऑटोमेटा सिद्धांत के जॉब मार्केट में व्यावहारिकता की कमी है, फिर भी सिद्धांत के अनुप्रयोग आपके द्वारा दिखाए गए अनुसार काफी हैं। सिफारिशों के लिए धन्यवाद। क्या कोई अन्य लागू ऑटोमेटा विषय है जिसमें सुरक्षा शामिल नहीं है जो आप सुझा सकते हैं? मैं वास्तव में क्वांटम जटिलता सिद्धांत के साथ कुछ करना चाहता हूं, फिर भी विश्वास है कि यह मास्टर्स प्रोजेक्ट (शायद पीएचडी) के लिए थोड़ा महत्वाकांक्षी हो सकता है।

— विंसेंट रुसो

इसके अलावा डेविड, मुझे लगता है कि आप सत्यापन में इस्तेमाल होने वाले औपचारिक तरीकों को संक्षिप्त रूप देते हैं। विशेष रूप से बुची ऑटोमेटा जैसी चीजों को शामिल करते समय, सभी प्रकार के दिलचस्प प्रश्न होते हैं। वे सिर्फ STOC / FOCS / सोडा भूमि से दूर चले गए हैं।

— सुरेश वेंकट