एक नियमित भाषा को 'नियमित' क्यों कहा जाता है?


31

मैंने माइकल सिप्ज़र द्वारा कम्प्यूटेशन के सिद्धांत के परिचय का पहला अध्याय पूरा किया है जो परिमित ऑटोमेटा की मूल बातें बताता है।

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

नोट: मैं एक नौसिखिया हूँ इसलिए कृपया सरल शब्दों में समझाने की कोशिश करें!


6
ऐसा लगता है कि यह वापस चला जाता है के लिए क्लीन और के अपने अध्ययन नियमित सेट
केवह

जवाबों:


28

जैसा कि केव ने एक टिप्पणी में कहा है, क्लेन ने ऑटोमेटा सिद्धांत और औपचारिक भाषाओं को बंद करने पर नाम का रास्ता वापस दे दिया। मेरा मानना ​​है कि यह शब्द मनमाना था, हालांकि मुझे उनके मूल पेपर को पढ़े कई साल हो चुके हैं।

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

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

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


अतिरिक्त जानकारी। 1951 का क्लेन का मूल पत्र, जिसका शीर्षक "तंत्रिका जाल और परिमित ऑटोमेटा में घटनाओं का प्रतिनिधित्व" हो सकता है । पी पर। 46 यह इस कथन के साथ "नियमित" शब्द की मनमानी को सुलझाता है:

हम वर्तमान में घटनाओं के एक वर्ग का वर्णन करेंगे जिसे हम "नियमित कार्यक्रम" कहेंगे। (हम अधिक वर्णनात्मक शब्द के रूप में किसी भी सुझाव का स्वागत करेंगे।)

जाहिर है, कोई भी अधिक वर्णनात्मक शब्द के साथ नहीं आया था। ;-)

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

abaa+कि हम आज का उपयोग करें। क्लेन की प्रेरणा खाली स्ट्रिंग (या उसकी शर्तों में अवधि शून्य के साथ घटना) से बचने के लिए थी। यह एक उल्लेखनीय प्रस्तुतिकरण अंतर्ज्ञान था क्योंकि बाद के सिद्धांत ने दिखाया है कि कई संदर्भों में परिभाषाओं से खाली स्ट्रिंग को शामिल करना या बाहर करना कितना महत्वपूर्ण है। तीसरा, क्लेन ने "निश्चित घटनाओं" नामक एक अवधारणा को परिभाषित किया और उनसे नियमित घटनाओं को विकसित किया, लेकिन आजकल हम उद्देश्य के लिए परिमित सेट का उपयोग करते हैं। कुछ समय के लिए निश्चित घटनाओं का अध्ययन किया गया था, लेकिन नियमित घटनाओं / सेटों / भाषाओं की तुलना में कहीं कम महत्वपूर्ण है।

वैसे भी, ऐतिहासिक उद्देश्यों को छोड़कर, इस पत्र का पूरा पठन आज किसी के समय के लायक नहीं है। मैंने इसे महत्वपूर्ण परिभाषाओं और विचारों के लिए स्किम किया, और यह मजेदार था।


6
"नियमित" भारी भरकम है और तर्कसंगत निर्माण कार्यों के साथ गैर-तर्कसंगत भाषाएं हैं। दोनों पद चूसना।
राफेल

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

1
1956 के AMS वॉल्यूम में ऑटोमेटा स्टडीज नाम से प्रकाशित होने तक पेपर वास्तव में व्यापक रूप से प्रसारित नहीं हुआ था, जिसमें ऑटोमेटा सिद्धांत में कई महत्वपूर्ण प्रारंभिक पेपर शामिल थे। आह, वेब और तुरंत प्रकाशन से पहले अद्भुत दिन - जब चीजें बहुत अधिक धीरे-धीरे चलती थीं। आप केवल $ 72.50 के लिए अमेज़न पर पुस्तक प्राप्त कर सकते हैं , या $ 12 + शिपिंग के लिए उपयोग किया जा सकता है ।
डेविड लुईस

4

मैंने हमेशा "नियमित" शब्द को समझा है कि इसका मतलब यह है कि यह खुद को दोहराए जाने वाले पैटर्न पर आधारित है। आपके द्वारा एक निश्चित लंबाई के सभी तारों को शामिल करने के बाद, आपने उन सभी को देखा है। बाद में कुछ नया नहीं होगा।

(यह केवल पाठ्यक्रम का एक अस्पष्ट अंतर्ज्ञान है।)


1
{nnसीn}कुछ छोटे उदाहरणों को देखने के बाद "सीखा" जा सकता है।
राफेल

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