Boolean grammar
بولین گرائمر، جو ان کے ذریعہ متعارف کرایا گیا ہے، رسمی زبان کے نظریہ میں زیر مطالعہ رسمی گرائمر کی ایک کلاس ہے۔ وہ کنجکشن اور نیگیشن آپریشنز کے ساتھ بنیادی قسم کے گرائمرز، سیاق و سباق سے پاک گرائمرز کو بڑھاتے ہیں۔ ان واضح کارروائیوں کے علاوہ، بولین گرائمرز ایک واحد غیر ٹرمینل علامت کے لیے متعدد اصولوں کی نمائندگی کرنے والے مضمر اختلاط کی اجازت دیتے ہیں، جو سیاق و سباق سے پاک گرائمرز میں ظاہر ہونے والا واحد منطقی جوڑ ہے۔ کنجکشن اور نیگیشن کا استعمال، خاص طور پر، زبانوں کے انٹرسیکشن اور تکمیل کی وضاحت کے لیے کیا جا سکتا ہے۔ گرائمرز کی ایک انٹرمیڈیٹ کلاس جسے کنجکٹو گرائمرز کے نام سے جانا جاتا ہے، کنجکشن اور ڈسجنکشن کی اجازت دیتا ہے، لیکن نفی نہیں۔ بولین گرائمر کے اصول اس شکل کے ہوتے ہیں جہاں ایک غیر ٹرمینل ہوتا ہے، اور،.،،،..، اور میں علامتوں سے بنے تار ہوتے ہیں۔ غیر رسمی طور پر، اس طرح کا ایک قاعدہ اس بات پر زور دیتا ہے کہ اس پر موجود ہر سٹرنگ ہر ایک نحو حالات کو پورا کرتی ہے جس کی نمائندگی کی جاتی ہے، اور کوئی بھی نحو حالات جس کی نمائندگی کی جاتی ہے، اس لیے اس کے ذریعے بیان کردہ شرط کو پورا نہیں کرتا ہے۔ بولین گرامر سے پیدا ہونے والی زبان کی کئی رسمی تعریفیں موجود ہیں۔ ان میں ایک چیز مشترک ہے: اگر گرائمر کو اتحاد، انٹرسیکشن، تکمیل اور امتزاج کے ساتھ زبان کی مساوات کے نظام کے طور پر پیش کیا جاتا ہے، تو گرائمر سے پیدا ہونے والی زبانیں اس نظام کا حل ہونی چاہئیں۔ الفاظ تفصیلات میں مختلف ہوتے ہیں، کچھ زبان کے مساوات کا استعمال کرتے ہوئے زبانوں کی وضاحت کرتے ہیں، کچھ منطق پروگرامنگ کے میدان سے خیالات پر مبنی ہوتے ہیں۔ تاہم، رسمی تعریف کے یہ غیر معمولی مسائل زیادہ تر عملی تحفظات کے لیے غیر متعلقہ ہیں، اور کوئی بھی دی گئی غیر رسمی الفاظ کے مطابق گرائمر بنا سکتا ہے۔ ماڈل کی عملی خصوصیات مشترکہ گرائمرز سے ملتی جلتی ہیں، جبکہ وضاحتی صلاحیتوں کو مزید بہتر بنایا گیا ہے۔ خاص طور پر، سیاق و سباق سے پاک گرائمرز سے وراثت میں ملنے والی کچھ عملی طور پر مفید خصوصیات، جیسے کہ موثر تجزیہ الگورتھم کو برقرار رکھا جاتا ہے، دیکھیں۔ حوالہ جات پری پرنٹ آن لائن دستیاب ہے۔ بیرونی روابط بولین گرامر پر اوکھوٹن کا صفحہ رسمی زبانیں