Regulated rewriting
ஒழுங்குபடுத்தப்பட்ட மறு எழுத்து என்பது இலக்கண அமைப்புகளைப் படிக்கும் முறையான மொழிகளின் ஒரு குறிப்பிட்ட பகுதியாகும், அவை ஒரு வழித்தோன்றல் படியில் பயன்படுத்தப்படும் உற்பத்தியின் மீது ஒருவித கட்டுப்பாட்டை எடுக்க முடியும். இந்த காரணத்திற்காக, ஒழுங்குபடுத்தப்பட்ட மறுவரையறை கோட்பாட்டில் ஆய்வு செய்யப்பட்ட இலக்கண அமைப்புகள் "கட்டுப்படுத்தப்பட்ட வழித்தோன்றல்களுடன் இலக்கணங்கள்" என்றும் அழைக்கப்படுகின்றன. அத்தகைய இலக்கணங்களில் பின்வருவன அடங்கும்ஃ மேட்ரிக்ஸ் இலக்கணத்தின் அடிப்படை கருத்துக்கள் வரையறை ஒரு மேட்ரிக்ஸ் இலக்கணமானது, நான்கு-டப்பிள் ஆகும், இதில் 1.-முனையல்லாத குறியீடுகளின் எழுத்துக்கள் 2.-முனைய சின்னங்களின் எழுத்துக்கள் 3 உடன் இணைகின்றன.-மேட்ரிக்ஸின் ஒரு வரையறுக்கப்பட்ட தொகுப்பாகும், அவை காலியாக இல்லாத வரிசைகள், மற்றும், ஒவ்வொன்றும் ஒரு வரிசைப்படுத்தப்பட்ட ஜோடி என்பதால் இந்த ஜோடிகள் "தயாரிப்புகள்" என்று அழைக்கப்படுகின்றன, மேலும் அவை குறிக்கப்படுகின்றன. இந்த நிலைமைகளில் மேட்ரிக்ஸ்களை 4 என எழுதலாம்.-S என்பது தொடக்க சின்னம் வரையறை ஒரு மேட்ரிக்ஸ் இலக்கணமாக இருக்கட்டும், மேலும் அனைத்து தயாரிப்புகளின் தொகுப்பும் மேட்ரிக்ஸ்களில் இருக்கட்டும். இலக்கணத்திற்கு தொடர்புடைய பண்பு இருந்தால் மட்டுமே, சோம்ஸ்கியின் படிநிலைக்கு ஏற்ப, அல்லது "அதிகரிக்கும் நீளம்" அல்லது "நேரியல்" அல்லது "உற்பத்தி இல்லாமல்" வகை என்று நாங்கள் கூறினோம். உன்னதமான எடுத்துக்காட்டு குறிப்புஃ ஆபிரகாம் 1965 இலிருந்து எடுக்கப்பட்டது, முனையமற்ற பெயர்களின் மாற்றத்துடன் சூழல்-உணர்திறன் மொழி என்பது முனையல்லாத தொகுப்பு, முனைய தொகுப்பு மற்றும் மேட்ரிக்ஸின் தொகுப்பு என வரையறுக்கப்படுகிறது. நேர மாறுபாடு இலக்கணத்தின் அடிப்படை கருத்துக்கள் வரையறை ஒரு நேர மாறுபாடு இலக்கணமானது ஒரு ஜோடி இலக்கணமாகும், மேலும் இது இயற்கையான எண்களின் தொகுப்பிலிருந்து தயாரிப்புகளின் தொகுப்பின் துணைக்குழுக்களின் வகுப்புக்கு ஒரு செயல்பாடாகும். திட்டமிடப்பட்ட இலக்கணங்கள் அடிப்படை கருத்துக்கள் வரையறை ஒரு திட்டமிடப்பட்ட இலக்கணமானது ஒரு இலக்கணமாகும், மேலும் அவை தயாரிப்புகளின் தொகுப்பிலிருந்து தயாரிப்புகளின் தொகுப்பின் துணைக்குழுக்களின் வகுப்பு வரை வெற்றி மற்றும் தோல்வியின் செயல்பாடுகளாகும். வழக்கமான கட்டுப்பாட்டு மொழியுடன் இலக்கணங்கள் அடிப்படை கருத்துக்கள் வரையறை வழக்கமான கட்டுப்பாட்டு மொழியுடன் ஒரு இலக்கணமானது, ஒரு ஜோடி இலக்கணமாகும், மேலும் இது தயாரிப்புகளின் தொகுப்பின் எழுத்துக்களில் ஒரு வழக்கமான வெளிப்பாடாகும். ஒரு அப்பாவித்தனமான எடுத்துக்காட்டு CFG ஐக் கவனியுங்கள், அங்கு டெர்மினல் அல்லாத செட், டெர்மினல் செட், மற்றும் புரொடக்ஷன்ஸ் செட் என்பது,,, மற்றும் என வரையறுக்கப்படுகிறது. தெளிவாக,. இப்போது, ஒரு எழுத்துக்களாக அமைக்கப்பட்ட தயாரிப்புகளைக் கருத்தில் கொண்டு (இது ஒரு வரையறுக்கப்பட்ட தொகுப்பாக இருப்பதால்), வழக்கமான வெளிப்பாட்டை வரையறுக்கவும்ஃ CFG இலக்கணத்தையும் வழக்கமான வெளிப்பாட்டையும் இணைத்து, மொழியை உருவாக்கும் CFGWRCL ஐப் பெறுகிறோம். ஒழுங்குபடுத்தப்பட்ட மறு எழுத்து கொண்ட பிற இலக்கணங்களைத் தவிர, மேற்கூறிய நான்கு எடுத்துக்காட்டுகள், டூரிங் இயந்திரத்தின் சக்திவாய்ந்த இலக்கண சாதனத்தைப் பெறுவதற்கான ஒருவித கட்டுப்பாட்டு பொறிமுறையுடன் சூழல் இல்லாத இலக்கணங்களை எவ்வாறு விரிவுபடுத்துவது என்பதற்கு சிறந்த எடுத்துக்காட்டுகளாகும். குறிப்புகள் சலோமா, ஆர்டோ (1973) முறையான மொழிகள். அகாடமிக் பிரஸ், ஏ. சி. எம் மோனோகிராஃப் தொடர் ரோஸன்பெர்க், ஜி.; சலோமா, ஏ. (eds.) 1997, முறையான மொழிகளின் கையேடு. பெர்லின்; நியூயார்க்ஃ ஸ்ப்ரிங்கர் (தொகுப்பு) (3540604200: வி. 1; 3540606483: வி. 2; 3540606491: வி. 3) டசோவ், ஜூர்கன்; பான், ஜி. 1990, முறையான மொழி கோட்பாட்டில் ஒழுங்குபடுத்தப்பட்ட மறு எழுத்து. ஸ்ப்ரிங்கர்-வெர்லாக் நியூயார்க், இன்க். செக்காக்கஸ், நியூ ஜெர்சி, அமெரிக்கா, பக்கங்கள்ஃ 308. நடுத்தரம்ஃ ஹார்ட்கவர். டசோவ், ஜூர்கென், கிராமர்ஸ் ஒழுங்குபடுத்தப்பட்ட மறுவரையறையுடன். 5 வது பிஎச்டி திட்டத்தில் சொற்பொழிவு "முறையான மொழிகள் மற்றும் பயன்பாடுகள்", தாரகோனா, ஸ்பெயின், 2006. ஆபிரகாம், எஸ். 1965. மொழிக் கோட்பாட்டின் சில கேள்விகள், கம்ப்யூடேஷனல் மொழியியல் குறித்த 1965 சர்வதேச மாநாட்டின் நடவடிக்கைகள், pp. 1-11, பான், ஜெர்மனி, முறையான மொழிகள் முறையான முறைகள்