Regulated rewriting
विनियमित पुनर्लेखन औपचारिक भाषाओं का एक विशिष्ट क्षेत्र है जो व्याकरणिक प्रणालियों का अध्ययन करता है जो व्युत्पत्ति चरण में लागू उत्पादन पर किसी प्रकार का नियंत्रण करने में सक्षम होते हैं। इस कारण से, विनियमित पुनर्लेखन सिद्धांत में अध्ययन की गई व्याकरणिक प्रणालियों को "नियंत्रित व्युत्पत्तियों के साथ व्याकरण" भी कहा जाता है। इस तरह के व्याकरणों पर ध्यान दिया जा सकता हैः मैट्रिक्स व्याकरण मूल अवधारणाएं परिभाषा एक मैट्रिक्स व्याकरण, एक चार-टुपल है जहां 1.-गैर-अंतिम प्रतीकों की एक वर्णमाला है 2.-3 के साथ असंबद्ध अंतिम प्रतीकों की एक वर्णमाला है-मैट्रिक्स का एक सीमित सेट है, जो गैर-खाली अनुक्रम हैं, और जहां प्रत्येक, एक क्रमबद्ध जोड़ी है, इन जोड़े को "उत्पादन" कहा जाता है, और दर्शाया जाता है। इन स्थितियों में मैट्रिक्स को 4 के रूप में लिखा जा सकता है-एस प्रारंभिक प्रतीक है परिभाषा आइए एक मैट्रिक्स व्याकरण हों और मैट्रिक्स पर सभी प्रस्तुतियों का संग्रह होने दें। हमने कहा कि यह चॉम्स्की के पदानुक्रम के अनुसार प्रकार का है, या "बढ़ती लंबाई" या "रैखिक" या "बिना-उत्पादों के" यदि और केवल तभी जब व्याकरण में संबंधित गुण हो। क्लासिक उदाहरण नोटः अब्राहम 1965 से लिया गया है, गैर-टर्मिनल नामों के परिवर्तन के साथ संदर्भ-संवेदनशील भाषा गैर-टर्मिनल सेट से उत्पन्न होती है, टर्मिनल सेट है, और मैट्रिक्स के सेट को,, के रूप में परिभाषित किया गया है। समय भिन्नता व्याकरण मूल अवधारणाएँ परिभाषा एक समय भिन्नता व्याकरण एक युग्म है जहाँ एक व्याकरण है और प्राकृतिक संख्याओं के समुच्चय से उत्पादनों के समुच्चय के उपसमुच्चय के वर्ग तक एक कार्य है। क्रमादेशित व्याकरण की बुनियादी अवधारणाएँ परिभाषा एक क्रमादेशित व्याकरण एक ऐसी जोड़ी है जिसमें एक व्याकरण होता है और उत्पादन के समूह से लेकर उत्पादन के समूह के उपसमुच्चय के वर्ग तक सफलता और विफलता कार्य होते हैं। नियमित नियंत्रण भाषा के साथ व्याकरण बुनियादी अवधारणाएँ नियमित नियंत्रण भाषा के साथ एक व्याकरण, एक जोड़ी है जहाँ एक व्याकरण है और प्रस्तुतियों के समूह की वर्णमाला पर एक नियमित अभिव्यक्ति है। एक सरल उदाहरण सी. एफ. जी. पर विचार करें जहां गैर-टर्मिनल सेट है, टर्मिनल सेट है, और उत्पादन सेट को,,, और के रूप में परिभाषित किया गया है। जाहिर है। अब, एक वर्णमाला के रूप में निर्धारित प्रस्तुतियों पर विचार करते हुए (क्योंकि यह एक सीमित समूह है), नियमित अभिव्यक्ति को इस पर परिभाषित करें। सी. एफ. जी. व्याकरण और नियमित अभिव्यक्ति को मिलाकर, हम सी. एफ. जी. डब्ल्यू. आर. सी. एल. प्राप्त करते हैं जो भाषा उत्पन्न करता है। विनियमित पुनर्लेखन के साथ अन्य व्याकरणों के अलावा, ऊपर उद्धृत चार अच्छे उदाहरण हैं कि ट्यूरिंग मशीन शक्तिशाली व्याकरणिक उपकरण प्राप्त करने के लिए किसी प्रकार के नियंत्रण तंत्र के साथ संदर्भ-मुक्त व्याकरण का विस्तार कैसे किया जाए। संदर्भ सालोमा, आर्टो (1973) औपचारिक भाषाएँ। एकेडेमिक प्रेस, एसीएम मोनोग्राफ श्रृंखला रोजेनबर्ग, जी.; सलोमा, ए। (एड.) 1997, औपचारिक भाषाओं की पुस्तिका। बर्लिन; न्यूयॉर्कः स्प्रिंगर (सेट) (3540604200: v. 1; 3540606483: v. 2; 3540606491: v. 3) डासो, जुर्गेन; पॉन, जी. 1990, औपचारिक भाषा सिद्धांत में विनियमित पुनर्लेखन। स्प्रिंगर-वेरलैग न्यूयॉर्क, इंक. सेकॉकस, न्यू जर्सी, यूएसए, पृष्ठः 308। माध्यमः हार्डकवर। विनियमित पुनर्लेखन के साथ दासो, जुर्गेन, ग्रामर। 5वें पी. एच. डी. कार्यक्रम "औपचारिक भाषाएँ और अनुप्रयोग", तारागोना, स्पेन, 2006 में व्याख्यान। अब्राहम, एस. 1965. भाषा सिद्धांत के कुछ प्रश्न, कम्प्यूटेशनल भाषाविज्ञान पर 1965 के अंतर्राष्ट्रीय सम्मेलन की कार्यवाही, पीपी। 1-11, बॉन, जर्मनी, औपचारिक भाषाएँ औपचारिक विधियाँ