परिमित ऑटोमेटा और परिमित राज्य मशीनों के बीच क्या अंतर है?


16

मैंने डिजिटल अनुक्रमिक सर्किट डिजाइनों में एफएसएम का उपयोग किया है। लेकिन मैं Finite Automata से अपरिचित हूं। क्या कोई मुझे दोनों के बीच 'बुनियादी' अंतर समझने में मदद कर सकता है?


5
से विकिपीडिया : "... ऑटोमेटा सिद्धांत में, सैद्धांतिक कंप्यूटर विज्ञान की एक शाखा, एक नियतात्मक परिमित automaton (DFA) - यह भी नियतात्मक परिमित स्थिति मशीन के रूप में जाना - एक परिमित राज्य मशीन है कि स्वीकार करता है / प्रतीकों में से परिमित तार को खारिज कर दिया और केवल का उत्पादन प्रत्येक इनपुट स्ट्रिंग के लिए ऑटोमेटन की एक अद्वितीय संगणना (या रन) ... "। डीएफए ऑटोमेटा सिद्धांत में उपयोग किया जाने वाला पसंदीदा शब्द है, एफएसएम व्यावहारिक अनुप्रयोगों में इस्तेमाल किया जाने वाला पसंदीदा शब्द है।
वोर

4
मुझे लगता है कि एफएसएम अधिक समावेशी है, जिसमें मेयली और मूर ऑटोमेटा भी शामिल है। एनएफए एक विशिष्ट मॉडल है।
राफेल

@ राफेल: मैं आपसे सहमत हूं, एफएसएम व्यापक लगता है (यहां तक ​​कि विकिपीडिया ट्रांसड्यूसर्स, एक्सेप्टर्स, क्लासिफायर और सीक्वेंसर के बीच अंतर करता है)। "DFA" ~ "FSM स्वीकारकर्ता" (केवल हां / नहीं आउटपुट के साथ FSM) ... इसके अलावा सर्किट डिजाइन में FSM, आमतौर पर आउटपुट का उपयोग करते हैं ... शायद आप अपनी टिप्पणी को उत्तर में बदल सकते हैं।
वोर

व्यक्तिगत रूप से, मैं एफएसएम का उपयोग एक व्यापक शब्द के रूप में करता हूं जिसमें डीएफए, एनएफए, मेयली और मूर मशीनें, (परिमित-राज्य) ट्रांसड्यूसर आदि शामिल हैं; बस एक सीमित राज्य स्थान और सहायक स्मृति के बिना सब कुछ।
दान

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

जवाबों:


12

जहां तक ​​मैं समझता हूं, दोनों में "राज्य", और "क्रियाएं" हैं जो मशीन को एक राज्य से दूसरे तक इनपुट सिग्नल पर ले जाती हैं। इस प्रकार वैचारिक विचार समान हैं। विवरणों में कुछ अंतर है।

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


6

मेरे अनुभव के साथ-साथ विकिपीडिया लेख के आधार पर, कई प्रकार की परिमित राज्य मशीनें हैं , जिनमें शामिल हैं

प्रेरणा के चारों ओर उड़ने वाली कुछ धारणाएँ अधिकतर प्रेरणा में भिन्न होती हैं; कुछ भाषा और / या संगणनीय सिद्धांत से उत्पन्न हुए, अन्य कंप्यूटर वास्तुकला से।

ध्यान दें कि आप ऑटोमेटा प्राप्त करने के लिए कई प्रतिमानों को बदल सकते हैं, उदाहरण के लिए, यकीनन, अभी भी परिमित-राज्य ऑटोमेटा

जैसा कि आप देख सकते हैं, टीसीएस 101 में सिखाया गया वैनिला ऑटोमेटा है, लेकिन कई का एक स्वाद है, प्रत्येक की अपनी (अधिक या कम औपचारिक) परिभाषा है।


2

हालांकि मुख्य विचार जिस पर वे दोनों भरोसा करते हैं वही है। दोनों परिमित अवस्थाओं का उपयोग करते हैं और इनपुट फ़ीड के रूप में दूसरे राज्य में जाते हैं। हालाँकि, FSM एक मशीन है, जैसे पूर्ण योजक या SR फ्लिपफ्लॉप में इनपुट और आउटपुट के रूप में बिट्स हैं। हाँ, एफएसए में बिट आउटपुट भी है, नॉन टर्मिनेटिंग स्टेट के लिए 0 और टर्मिनेटिंग स्टेट के लिए 1, लेकिन यह एब्सट्रैक्ट मैकेनिज्म है और देखा नहीं जाता। उनके प्रतिनिधित्व करने के लिए खींची गई खुदाई में अंतर है। इसके अलावा कि एफएसए एक तार्किक और संगणना उपकरण है जबकि एफएसएम एक डिजिटल लॉजिक डिवाइस है।

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