ऑटोमेटा सिद्धांत कितना व्यावहारिक है?


37

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

क्या ऑटोमेटा सिद्धांत अभी भी व्यवहार में उपयोगी है?

क्या यह स्नातक सीएस पाठ्यक्रम का हिस्सा होना चाहिए?


4
मुझे लगता है कि यह यहाँ विषय है; कृपया FAQ देखें ।
जूका सूमेला

3
मुझे इस के 'ऑफ = विषय'-नेस के बारे में मिश्रित भावनाएँ हैं। यह स्पष्ट रूप से अनुसंधान का स्तर नहीं है, लेकिन ऑटोमेटा सिद्धांत की प्रासंगिकता का यह विशेष प्रश्न वह है जो अक्सर सामने आता है।
सुरेश वेंकट

18
मुझे लगता है कि यह पूरी तरह से विषय है। परिमित ऑटोमेटा सिद्धांत के अनुप्रयोग क्या हैं? वास्तविक दुनिया में वर्टेक्स कवर एप्लिकेशन से अलग नहीं है , और हमने उस प्रश्न को बंद नहीं किया।
पीटर शोर

4
वैसे, यह सवाल बारीकी से संबंधित है, और इसके जवाब परिमित ऑटोमेटा सिद्धांत के अध्ययन के लिए कुछ व्यावहारिक प्रेरणा दे सकते हैं: " नियमित अभिव्यक्ति के लिए अच्छे क्या हैं? "।
जुका सुओमेला

2
मेरा कहना है कि उत्तर की गुणवत्ता और विविधता "गुंजाइश" को अप्रासंगिक बना देती है। मुझे उम्मीद है कि पहले से ही तीन करीबी वोटों के साथ, यह सवाल किनारे पर नहीं है।
सुरेश वेंकट

जवाबों:


51
  1. कभी grep / awk / sed जैसे उपकरण का उपयोग किया है? नियमित अभिव्यक्ति इन उपकरणों के दिल का निर्माण करती है।

  2. आपको आश्चर्य होगा कि नियमित अभिव्यक्तियों के प्रिंट किए गए उपयोग से आप कितना कोडिंग कर सकते हैं - ईमेल सर्वर की तरह "व्यावहारिक परियोजनाओं" में।

  3. यदि आप एक सीएस प्रमुख हैं, तो आप निश्चित रूप से (कम से कम एक छोटी) भाषा के लिए एक कंपाइलर / दुभाषिया लिख ​​रहे होंगे। यदि आपने पहले कभी इस कार्य की कोशिश की है और फंस गए हैं, तो आप सराहना करेंगे कि एक छोटा सिद्धांत (उर्फ संदर्भ मुक्त व्याकरण) आपकी कितनी मदद कर सकता है। इस सिद्धांत ने एक बार असंभव कार्य को कुछ हद तक पूरा कर लिया है जिसे सप्ताहांत में पूरा किया जा सकता है। (और यह आविष्कारक एक ट्यूरिंग पुरस्कार जीता - Google BNF)।

  4. यदि आप एक सीएस प्रमुख हैं, तो कुछ बिंदु पर, आपको वापस बैठने की ज़रूरत है और कंप्यूटिंग की दार्शनिक नींव के बारे में सोचना चाहिए, न कि केवल इसके बारे में कि एंड्रॉइड एपीआई का अगला संस्करण कितना अच्छा है। संबंधित नोट पर, यह विश्वविद्यालय का काम है कि आप अपने जीवन के अगले 5 वर्षों के लिए तैयार न हों, बल्कि आपको अगले 50 वर्षों के लिए तैयार करें। इस संबंध में केवल एक चीज जो वे कर सकते हैं, वह है आपको सोचने में मदद करना - सोचना उन पाठ्यक्रमों में से एक के रूप में ऑटोमेटा सिद्धांत।


32

CS की अधिक व्यावहारिक अभिव्यक्ति कंपाइलर कंस्ट्रक्शन है। 1965 में, नुथ ने LR पार्सर्स का अध्ययन शुरू किया। जल्दी से (एक दशक से भी कम समय में), हमारे पास एलएएलआर पार्सर थे जो कि नियतात्मक पुशडाउन ऑटोमेटा का एक सबसेट हैं जो हमें पारी को कम करने / पार्सर्स को लागू करने की अनुमति देता है।

एलएएलआर पार्सिंग की व्यवहार्यता और दक्षता के केंद्र में एक प्रमाण है (नथ द्वारा) कि भाषा के "उपसर्ग" नियमित रूप से (आपके परिमित ऑटोमेटन) हो जाते हैं। यह स्वचालित पार्सर जनरेटर जैसे कि याक / बाइसन आदि की उत्पत्ति है।

यह कहना सुरक्षित है कि प्रोग्रामिंग भाषाओं के रूप में हम जानते हैं कि वे इन विकासों के लिए उनकी संकलन क्षमता का बहुत अधिक भुगतान करते हैं।

यहां एक और उदाहरण है: टीसीपी / आईपी प्रोटोकॉल का दिल एक परिमित राज्य मशीन है। यह कितना अधिक व्यावहारिक हो सकता है?

प्रत्येक गंभीर सीएस छात्र, विशेष रूप से व्यावहारिक लोगों को ऑटोमेटा सिद्धांत पर ध्यान देना चाहिए। यह कंप्यूटर विज्ञान की समृद्धि का बहुत आधार है।


स्रोत फ़ाइलों की पार्सिंग वास्तव में एक संकलक का दिलचस्प (और महत्वपूर्ण) हिस्सा नहीं है, इसलिए मुझे नहीं लगता कि यह कहना सुरक्षित है कि "प्रोग्रामिंग भाषाएं क्योंकि हम जानते हैं कि वे इन विकासों के लिए उनकी संकलन क्षमताओं का बहुत अधिक ध्यान रखते हैं"। इसके अलावा, विभिन्न उपकरणों का उपयोग करके भाषाओं को पार्स करना संभव है, उदाहरण के लिए पीईजी या पार्सिंग कॉम्बिनेटर (यानी पार्स)।
जनवरी 47paček

30

क्या आप वह शोर सुन सकते हैं ? यह एक हजार शानदार प्रमेयों की आवाज़ है, जो ऑटोमेटा-सिद्धांतिक स्वर्ग में हँसते हुए अनुप्रयोग और उपकरण हैं।

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

  1. आप किसी दस्तावेज़ में किसी वाक्यांश की डुप्लिकेट घटनाओं को स्पॉट करना चाहते हैं और दूसरी घटना को हटाना चाहते हैं। संक्षेप में, आप किसी अनुक्रम को किसी भाषा में स्थानापन्न करना चाहते हैं।
  2. क्या किसी कार्यक्रम में जोरदार उल्लंघन होता है? क्या डिवाइस ड्राइवर कर्नेल के साथ इंटरैक्ट करते समय कुछ प्रोटोकॉल का सम्मान करता है? एक कार्यक्रम का व्यवहार निष्पादन का एक सेट है; दूसरे शब्दों में, एक भाषा। शुद्धता की संपत्ति एक और भाषा है। एक भाषा समावेश जाँच में कार्यक्रम की शुद्धता की समस्या है।
  3. क्या आपका सॉफ्टवेयर अनंत लूप में फंस सकता है? क्या एक वितरित एल्गोरिथ्म में एक लाइवलॉक शामिल है? हमें अनंत शब्दों से अधिक भाषाओं की आवश्यकता है, लेकिन भाषा समावेश दृश्य अभी भी लागू होता है।
  4. आप एक वेब एप्लिकेशन में दर्ज किए गए दुर्भावनापूर्ण जावास्क्रिप्ट का पता लगाने के लिए एक सैनिटाइज़र बनाना चाहते हैं। दुर्भावनापूर्ण तार का सेट एक भाषा है। स्ट्रिंग्स के सेट ने दूसरी भाषा में रूपों में प्रवेश किया। आप यह निर्धारित करना चाहते हैं कि क्या इन भाषाओं का अंतरविरोध खाली नहीं है।
  5. प्रतिक्रियाशील और मिशन-महत्वपूर्ण प्रणालियों की रन-टाइम निगरानी। आप एक सॉफ़्टवेयर मॉनीटर डिज़ाइन करना चाहते हैं जो आपकी रासायनिक प्रक्रिया के संचालन की निगरानी करता है या वित्तीय डेटाबेस में अपडेट को ट्रैक करता है। ये दिल की भाषा में शामिल करने और चौराहे की समस्याओं पर हैं।
  6. इसके कई अनुप्रयोगों के साथ पैटर्न मान्यता। आप बग रिपोर्ट की एक श्रृंखला में, जीनोमिक डेटा में पैटर्न का पता लगाना चाहते हैं। ये समस्याएँ हैं जहाँ हमें एक अज्ञात भाषा से शब्द दिए जाते हैं और भाषा का अनुमान लगाना होता है। ये भाषा की समस्याएँ हैं।
  7. XML दस्तावेजों के एक सेट को देखते हुए, आप इंजीनियर को इन दस्तावेजों पर लागू होने वाले स्कीमा को उल्टा करना चाहते हैं। XML दस्तावेजों को पेड़ों को आदर्श बनाया जा सकता है। एक स्कीमा तब एक ट्री लैंग्वेज का एक स्पेसिफिकेशन होता है और स्कीमा इनजेक्शन प्रॉब्लम ट्री लैंग्वेजेस पर लैंग्वेज इनफैक्शन प्रॉब्लम है।
  8. कई अनुप्रयोगों के लिए स्वचालित अंकगणितीय तर्क की आवश्यकता होती है। मान लीजिए कि हम एक तार्किक सिद्धांत तय करते हैं जैसे कि प्रिस्बर्गर अंकगणित, जिसमें हमारे पास प्राकृतिक संख्याएँ, जोड़ और कम-से-कम विधेय होता है। एन चर के साथ एक सूत्र एन-आयामी वैक्टर का एक सेट का प्रतिनिधित्व करता है। एक वेक्टर अंकों का एक क्रम है और इसे एक शब्द के रूप में एन्कोड किया जा सकता है। एक विधेय तो शब्दों का एक समूह है; एक भाषा। तार्किक संक्रियाएं, जैसे कि संयोजन, अव्यवस्था और नकार चौराहे, संघ और भाषाओं के पूरक बन जाते हैं (अस्तित्व की मात्रा का ठहराव एक प्रकार का प्रक्षेपण है)।

यह कमी उपरोक्त भाषाओं को सार गणितीय वस्तुओं के रूप में मानती है। व्यवहार में इन विचारों को लागू करने के लिए, हमें इन डेटा संरचनाओं में हेरफेर करने के लिए भाषाओं और एल्गोरिदम का प्रतिनिधित्व करने के लिए एक डेटा संरचना की आवश्यकता होती है।

ऑटोमेटा दर्ज करें। ऑटोमेटा हमें अमूर्त गणितीय वस्तुओं जैसे भाषाओं के बारे में सवालों को कम करने की अनुमति देता है, जैसे लेबल वाले ग्राफ़ के बारे में एल्गोरिदम संबंधी प्रश्न। भाषा और ऑटोमेटा सिद्धांत, व्यावहारिक अनुप्रयोगों के एक पागल संख्या के अलावा, एक बहुत महत्वपूर्ण बौद्धिक सेवा प्रदान करते हैं। हम यूनिफ़ॉर्म और अनअटेंडेड वैचारिक स्पेस में मोनडिक सेकेंड ऑर्डर लॉजिक के लिए जिप कोड्स से लेकर प्रोसीडिंग प्रोसेस तक की समस्याओं के बारे में सोच सकते हैं। कितना अद्भुत है वह!

मैंने तर्क और निर्णय प्रक्रियाओं के बारे में कुछ नहीं कहा है। (हां, उनके पास व्यावहारिक अनुप्रयोग हैं।) एक आधिकारिक अवलोकन के लिए केव का जवाब देखें।


हाहा, विडंबना
प्रवीण सोनी

16

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

यहां आधुनिक शोध के लिए एक छोटा सा उदाहरण है जो एक आधुनिक अवधारणा को समझने के लिए ऑटोमेटा सिद्धांत पर वापस जाता है। इस पत्र में शोधकर्ता यह साबित करते हैं कि नियमित भाषाओं में सभी संपत्ति परीक्षक होते हैं: "नियमित भाषाएं लगातार प्रश्नों के साथ परीक्षण योग्य हैं"


15

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

(और निश्चित रूप से मैं कई अन्य वर्गों को छोड़ रहा हूँ)

असल में, यह एक बहुत ही सामान्य मॉडल है। आपकी कक्षाएं संभवतः ऑटोमेटा, भाषाओं और तर्क के बीच लिंक पर जोर देंगी।

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


14

जैसा कि पहले से ही विभिन्न उत्तरों में बताया गया है, यूजी पाठ्यक्रमों में ऑटोमेटा थ्योरी अधिक उन्नत (और व्यावहारिक) विषयों को पेश करने के लिए एक बुनियादी वैचारिक रूपरेखा प्रदान करती है, और अनदेखी कनेक्शनों को इंगित करने के लिए भी; उदाहरण के लिए: द्विआधारी निर्णय आरेख (वे डीएफए कम से कम कर रहे हैं; डीएफए सिखाने के बाद, मैं अक्सर बीडीडी-आधारित पहेली को हल करना सिखाता हूं); BioPerl और BioPython में स्क्रिप्टिंग (और एक बेहतरीन सेटिंग, जिसमें यह पता लगाने के लिए कि असली दुनिया की स्क्रिप्ट regexps में कितने अनपेक्षित मिलान छिपाए जा सकते हैं), औपचारिक डिबगिंग (नकारात्मक गुणों के रूप में FA, प्रतिच्छेद, और यहां तक ​​कि VCR या होम इंट्रूडर अलार्म प्रोग्रामिंग भी शामिल है) (हर दिन एक खराब निर्दिष्ट ऑटोमेटन के तनाव की स्थिति को अधूरे उदाहरणों के माध्यम से पढ़ाया जाता है; संभवतः हैलर के प्ले-इन / प्ले-आउट परिदृश्य आधारित उपयोगकर्ता इंटरफेस के संश्लेषण का उपयोग करके औपचारिक रूप से)। मैं भी अजगर को पढ़ाने के लिए सेटिंग का उपयोग करता हूं '


1
स्वागत है, गणेश!
सुरेश वेंकट

1
ऑटोमेटा सिखाने का एक अच्छा तरीका है। क्या आप अपने व्याख्यान नोट्स साझा करने के लिए तैयार हैं?
मार्टिन बर्जर

9

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


8

हमने देखा है कि जो भाषा सिद्धांत और व्यवहार के विपरीत है, वह व्यक्ति को दूसरे के ऊपर स्थापित करता है, अज्ञानता का बहुत ही उपभोग है - यह विचार के पहले तत्वों के साथ एक आदमी को बेहिचक साबित करता है, और उसकी सिद्ध करने की दिशा में एक महान कार्य करता है। उन्हें पढ़ाया जा सकने में असमर्थ होने के लिए मन इतना विकृत होना।

- जेम्स मिल ("PQ" के रूप में छद्म नाम से लेखन), "सिद्धांत और व्यवहार", लंदन और वेस्टमिंस्टर रिव्यू , अप्रैल 1836


8

उद्योग में उपयोग किए जाने वाले मॉडल की जाँच में ऑटोमेटा सिद्धांत से संबंधित काफी शोध हुए हैं। फील्ड इंस्टीट्यूट में मोशे वर्डी के हालिया व्याख्यानों की जांच करें , विशेष रूप से 3 व्याख्यान "तर्कशास्त्र, ऑटोमेटा, गेम्स, और एल्गोरिदम" के लिए क्यों ऑटोमेटा सिद्धांत अभी भी महत्वपूर्ण और उपयोगी है।

सार:

1950 और 1960 के दशक में बुएची, एलगोट, राबिन और ट्रेखटेनब्रोट द्वारा शुरू की गई निर्णय प्रक्रियाओं के लिए ऑटोमेटा-सिद्धांतवादी दृष्टिकोण, निर्णय प्रक्रियाओं के लिए सबसे मौलिक दृष्टिकोणों में से एक है। हाल ही में, इस दृष्टिकोण ने हार्डवेयर और सॉफ्टवेयर सिस्टम के औपचारिक सत्यापन में औद्योगिक अनुप्रयोगों को पाया है। तर्क से व्यावहारिक एल्गोरिदम तक का रास्ता न केवल ऑटोमेटा के माध्यम से जाता है, बल्कि खेलों के माध्यम से भी जाता है, जिनके एल्गोरिदम के पहलुओं का अध्ययन 1970 के दशक के अंत में चंद्रा, कोजेन और स्टॉकमेयेर ने किया था। इस अवलोकन वार्ता में हम ऑटोमेटा और गेम्स के माध्यम से लॉजिक से एल्गोरिदम तक के मार्ग का वर्णन करते हैं।

व्याख्यान की स्लाइड और ऑडियो फाइलें यहां उपलब्ध हैं: 1 , 2 , 3


6

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

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

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


5

लॉजिक्स के साथ एक साथ फेंको, ऑटोमेटा जैसे स्टेटमन्स की जांच करने के तरीके पेश कर सकता है

Aφ

AφAφ

φAφAφL(A)L(Aφ)


3

परिमित ऑटोमेटा, जिसे अक्सर विभिन्न संदर्भों में परिमित राज्य मशीनों के रूप में लिखा जाता है, या उनके संभाव्य रूप से छिपे हुए मार्कोव मॉडल को पैटर्न की मान्यता और मात्रात्मक संरचना पर लागू किया जा सकता है। उदाहरण के लिए, सबसे छोटा स्टोचस्टिक परिमित ऑटोमेटा क्या है जो किसी वितरण संभावना के अनुसार, कम या ज्यादा, या कुछ वितरण से स्ट्रिंग्स (या समय श्रृंखला) के नमूने के सांख्यिकीय गुणों के मिलान के अनुसार तार उत्पन्न करेगा।

उदाहरण के लिए देखें CSSR , नेत्रहीन पुनर्निर्माण छिपा राज्यों के लिए एक एल्गोरिथ्म; यह छिपे हुए मार्कोव मॉडल की तुलना में अधिक कुशल और लचीला है।


1
प्रैक्टिकल पक्ष में जोड़ने के लिए, हिडन मार्कोव मॉडल भाषण मान्यता कार्यक्रमों जैसे कुर्ज़वील में उपयोग किए जाते हैं।
22

3

ऑटोमेटा सिद्धांत का एक और अधिक व्यावहारिक अनुप्रयोग कृत्रिम बुद्धि का विकास है। आर्टिफिशियल इंटेलिजेंस को परिमित ऑटोमेटन की अवधारणा से विकसित किया गया था। रोबोटों के तंत्रिका नेटवर्क का निर्माण ऑटोमेटा सिद्धांत के आधार पर किया गया है। आखिर रोबोट भी ऑटोमेटा हैं।


2

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

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