فہرست کا خانہ:
تعریف - تشریحی الفاظ کا کیا مطلب ہے؟
کمپیوٹر سائنس میں ، نظامیات اور پروگرامنگ زبانوں کو ریاضی کے معنی فراہم کرنے کے لئے ڈینٹیوشنل سیمینٹکس ایک نقطہ نظر ہے۔ دوسرے لفظوں میں ، پروگرامنگ زبان کی اصطلاحی تعریف کے اظہار کے لئے تشریحی اصطلاحات ایک رسمی تکنیک ہے۔
کرسٹوفر اسٹراچی کے پروگرامنگ ریسرچ گروپ کے ذریعہ آکسفورڈ یونیورسٹی میں 1960 کی دہائی میں تیار کیا گیا ، اس طریقہ کار میں نوٹری خوبصورتی اور ریاضی کی سختی شامل ہے۔ اگرچہ ابتدائی طور پر تجزیہ کے آلے کے طور پر ڈیزائن کیا گیا ہے ، لیکن تشریحی الفاظ استعمال کرنے اور زبان کے ڈیزائن کے آلے کے طور پر استعمال کیے گئے ہیں۔
ٹیکوپیڈیا نے ڈینیوٹیشنل سیمنٹکس کی وضاحت کی
تشریحی اصطلاحات میں ، بنیادی نظریہ پروگرامنگ زبان سے وابستہ ہر نحوی وجود کو ریاضی کی کسی نہ کسی شکل میں نقشہ بنا رہا ہے ، اور پروگرامنگ کی زبان کی تعمیر کو ریاضی کی چیزوں میں ترجمہ کرتا ہے۔
تشریحی اصطلاحی تعریف کے پانچ حصے ہیں:
- معقول مساوات
- مصنوعی زمرے
- معقول افعال
- بیکٹوس نارمل فارم (بی این ایف) مصنوعی زمرے کی ساخت کی وضاحت
- ویلیو ڈومینز
جدید زبان کے لئے تفریحی الفاظ تیار کیے گئے ہیں جس میں مستثنیات اور اتفاق کی طرح کی خصوصیات موجود ہیں۔ تشخیصی الفاظ کی ایک اہم خصوصیت یہ ہے کہ الفاظ کی ساخت لازمی ہونی چاہئے ، یعنی اس کے ذیلی فقرے کی تشریح سے کسی پروگرامنگ فقرے کی تشریح کی جاسکتی ہے۔
تفریحی الفاظ (Seotics) سے وابستہ کچھ الگ فوائد ہیں۔ دوسرے پروگراموں کے مقابلے میں چھوٹے پروگراموں کے معنی بیان کرنے کا یہ سب سے آسان طریقہ ہے۔ تفریحی الفاظ: پروگراموں میں ریاست کی وضاحت کرنے کی صلاحیت رکھتے ہیں۔ تاہم ، گوٹو بیانات اور تکرار جیسے اعلی درجے کی خصوصیات کو بیان کرنے کے لئے تشریحی اصطلاحات بہت پیچیدہ ہوتے ہیں۔
