Regulated rewriting
ریگولیٹڈ ری رائٹنگ رسمی زبانوں کا ایک مخصوص شعبہ ہے جس میں گرائمیکل سسٹم کا مطالعہ کیا جاتا ہے جو مشتق مرحلے میں لاگو ہونے والی پیداوار پر کسی قسم کا کنٹرول حاصل کرنے کے قابل ہوتے ہیں۔ اس وجہ سے، ریگولیٹڈ ری رائٹنگ تھیوری میں زیر مطالعہ گرائمیکل سسٹمز کو "کنٹرولڈ ڈیریویشنز کے ساتھ گرائمرز" بھی کہا جاتا ہے۔ اس طرح کے گرائمرز میں دیکھا جا سکتا ہے: میٹرکس گرائمر بنیادی تصورات تعریف ایک میٹرکس گرائمر، ایک چار ٹپل ہے جہاں 1-غیر ٹرمینل علامتوں کا ایک حروف تہجی ہے 2-ٹرمینل علامتوں کا ایک حروف تہجی ہے جو 3 کے ساتھ جدا ہوتا ہے-میٹرکس کا ایک محدود مجموعہ ہے، جو غیر خالی ترتیبات ہیں، اور، جہاں ہر ایک، ایک ترتیب شدہ جوڑا ہے کیونکہ ان جوڑوں کو "پروڈکشنز" کہا جاتا ہے، اور ان کی نشاندہی کی جاتی ہے۔ ان حالات میں میٹرکس کو 4 کے طور پر لکھا جا سکتا ہے۔ S ابتدائی علامت ہے تعریف آئیے ایک میٹرکس گرائمر بنیں اور میٹرکس پر تمام پروڈکشن کا مجموعہ ہونے دیں۔ ہم نے کہا کہ یہ چومسکی کے درجہ بندی کے مطابق قسم کا ہے، یا "بڑھتی ہوئی لمبائی" یا "لکیری" یا "بغیر پیداوار" کے ساتھ اگر اور صرف اس صورت میں جب گرائمر میں متعلقہ خاصیت ہو۔ کلاسیکی مثال نوٹ: ابراہم 1965 سے لیا گیا، غیر ٹرمینل ناموں کی تبدیلی کے ساتھ سیاق و سباق سے حساس زبان اس سے پیدا ہوتی ہے جہاں غیر ٹرمینل سیٹ ہے، ٹرمینل سیٹ ہے، اور میٹرکس کے سیٹ کی تعریف اس طرح کی گئی ہے،،،۔ وقت متغیر گرامر بنیادی تصورات تعریف ایک وقت متغیر گرامر ایک جوڑا ہے جہاں ایک گرائمر ہے اور قدرتی اعداد کے سیٹ سے لے کر پروڈکشن کے سیٹ کے ذیلی سیٹوں کی کلاس تک ایک فنکشن ہے۔ پروگرام شدہ گرامر بنیادی تصورات تعریف ایک پروگرام شدہ گرامر ایک جوڑا ہے جہاں ایک گرائمر ہوتا ہے اور پروڈکشن کے سیٹ سے لے کر پروڈکشن کے سیٹ کے ذیلی سیٹوں کی کلاس تک کامیابی اور ناکامی کے افعال ہوتے ہیں۔ باقاعدہ کنٹرول زبان کے ساتھ گرامر بنیادی تصورات باقاعدہ کنٹرول زبان کے ساتھ ایک گرائمر، ایک جوڑا ہے جہاں ایک گرائمر ہے اور پروڈکشن کے سیٹ کے حروف تہجی پر ایک باقاعدہ اظہار ہے۔ سی ایف جی پر غور کریں جہاں غیر ٹرمینل سیٹ ہے، ٹرمینل سیٹ ہے، اور پروڈکشن سیٹ کو ہونے،،، اور کے طور پر بیان کیا گیا ہے۔ واضح طور پر۔ اب، حروف تہجی کے طور پر سیٹ کردہ پروڈکشنز پر غور کرتے ہوئے (چونکہ یہ ایک محدود سیٹ ہے)، باقاعدہ اظہار کی وضاحت کریں: سی ایف جی گرائمر اور باقاعدہ اظہار کو ملا کر، ہم سی ایف جی ڈبلیو آر سی ایل حاصل کرتے ہیں جو زبان تیار کرتا ہے۔ ریگولیٹڈ ری رائٹنگ کے ساتھ دیگر گرائمرز کے علاوہ، اوپر بیان کردہ چار اس بات کی اچھی مثالیں ہیں کہ ٹورنگ مشین کے طاقتور گرائمیکل ڈیوائس کو حاصل کرنے کے لیے کسی قسم کے کنٹرول میکانزم کے ساتھ سیاق و سباق سے پاک گرائمرز کو کیسے بڑھایا جائے۔ حوالہ جات سالوما، آرٹو (1973) رسمی زبانیں۔ اکیڈمک پریس، اے سی ایم مونوگراف سیریز روزنبرگ، جی۔ ؛ سولوما، اے۔ (ایڈز۔) 1997، رسمی زبانوں کی ہینڈ بک۔ برلن ؛ نیویارک: سپرنگر (سیٹ) (3540604200: v. 1 ؛ 3540606483: v. 2 ؛ 3540606491: v. 3) داسو، جورجن ؛ پاون، G. 1990، ریگولیٹڈ ری رائٹنگ ان فارمل لینگویج تھیوری۔ سپرنگر-ورلاگ نیویارک، انکارپوریٹڈ۔ سیکاکس، نیو جرسی، یو ایس اے، صفحات: 308۔ میڈیم: ہارڈ کور۔ ڈاسو، جرگن، ریگولیٹڈ ری رائٹنگ کے ساتھ گرامر۔ 5 ویں پی ایچ ڈی پروگرام "رسمی زبانیں اور ایپلی کیشنز"، تارگونا، اسپین، 2006 میں لیکچر۔ ابراہم، ایس۔ 1965۔ زبان کے نظریہ کے کچھ سوالات، کمپیوٹیشنل لسانیات پر 1965 کی بین الاقوامی کانفرنس کی کارروائی، پی پی۔ 1-11، بون، جرمنی، رسمی زبانیں رسمی طریقے