رسمی زبانوں کو کیا منسوب کیا جا سکتا ہے؟ استعمال کی مثالیں

رسمی زبان کیا ہے اور یہ کس طرح فطری سے مختلف ہے؟ یہ کیسے تشکیل دیا گیا تھا؟ رسمی زبانوں کو کیا منسوب کیا جا سکتا ہے؟ اور یہ اس کی طرف رجوع کرنے کے لئے استعمال کیا جاتا ہے؟

رسمی زبانوں کی خصوصیات

لہذا ہم میں سے ایک گروہ کو فون مصنوعی زبانوں، جس اظہارات کی تعمیر کے حوالے سے عین مطابق قوانین، کے ساتھ ساتھ ان کی تفہیم کی طرف سے خصوصیات ہیں. صنعتی مقاصد کے لئے استعمال کیا نظام رسمی زبانوں سے منسوب کیا جا سکتا ہے. انہوں نے واضح قوانین کے ساتھ عمل میں تعمیر کر رہے ہیں، خصوصیات اور مطالعہ کے تعلقات کی وجہ سے، مسلسل کمپیکٹ اور درست ڈسپلے فراہم تابع علاقے یا ماڈلنگ کی اشیاء. نمبروں کی قدر اور معنی کے کسی بھی عملی خصوصیات (سیاق و سباق میں استعمال) کی طرف سے تبدیل نہیں کیا جا سکتا. اس نحو کے تبادلوں اور semantic تشریح کے قوانین کی رسمی زبان میں موجودگی کی بدولت ممکن ہے. وہ اکثر ریاضی کی ایک بنیاد کے طور پر استعمال کرتے ہوئے بنایا جاتا ہے. یہ ترقی کے پورے دورانیہ پر علامتی مراتب میں سے ایک قسم کا استعمال کیا ہے اس حقیقت کی وجہ سے تصورات اور اشیاء کی ایک قسم پر لاگو کیا گیا ہے. یہ رسمی زبانوں کی ضرورت کیا ہے. وہ نمایاں طور پر اعداد و شمار کو کم کر سکتے ہیں. اس سے قبل رسمی اور قدرتی زبانوں کے ساتھ ساتھ استعمال کیا گیا ہے، لیکن موضوع اور ریاضیاتی استدلال کی ایک سخت منطقی تجزیہ کرنے کے لئے ضرورت کے بتدریج پیچیدگی کے ساتھ، یہ ماضی کو ترک کرنے کا فیصلہ کیا گیا تھا. یہ عمل XX صدی XVII سے جاری رہا. یہ گزشتہ صدی رسمی زبانوں کے لحاظ سے سب سے زیادہ نتیجہ خیز سمجھا جاتا ہے. مختلف خصوصی شاخوں بنائے گئے تھے. لہذا، کمپیوٹر سائنس کے لئے صرف نظریاتی نہیں، بلکہ قول کے ایک عملی نقطہ نظر سے، خصوصی طور پر اہم پروگرامنگ زبانوں اور منطق کے الجبرا کے ہیں.

تعریف

رسمی زبانوں کو کیا منسوب کیا جا سکتا ہے، ہم مختصر طور پر وضاحت کی پہلے سے ہی ہے. لیکن ہم ان کے بارے میں کیا کہہ سکتے ہیں؟ رسمی زبان مختلف تعریفیں کی ایک بہت کچھ دیا جاتا ہے. ان کی فہرست کے لئے، یہ وقت کی ایک بہت چھوڑ، تو سب سے زیادہ مقبول پر ایک نظر لے جائے گا:

1. زبان میں الفاظ کی ایک سادہ فہرست - عام طور پر تعمیر کے آخری قسم کے لئے اور ایک سادہ ساخت ہے کہ لوگوں کے بارے میں احترام کے ساتھ ایسا کہیں.
2. الفاظ ایک مخصوص رسمی گرائمر کی طرف سے پیدا.
3. ساخت باقاعدہ اظہار کی طرف سے پیدا.
4. الفاظ BPF ڈیزائین کی طرف سے پیدا.
5. ساخت، ایک محدود خودکار کی طرف سے پہچانا.

کی ایک مثال بھی جائزہ لیں. چلو ہم پورے حروف تہجی، دو اعداد 1 اور 0. خط "O" کو ظاہر کرنے کے لئے دیا ہے کہنے دو، ہم استعمال کرتے 1010001. یہ کا ایک مجموعہ ایک رسمی زبان کا استعمال ہے. یہ خالی الفاظ کا استعمال بھی ممکن ہے (سٹرنگ صفر لمبائی ہے، اور کچھ بھی نہیں ہے) ہم سے واقف شکل میں ایک خصوصی عہدہ کے ساتھ. لیکن مزید تفصیل سے ایک رسمی زبان کیا ہے سمجھنے کی، 4 مثالیں اگلے دیا جائے گا کہ میں مدد. یہ کیا کرتا ہے؟ قاری کی سمجھ کے کہ ایک رسمی زبان منسوب کیا جا سکتا تھا. لیکن وہ کس طرح بنائے گئے ہیں کے بارے میں تھوڑا زیادہ.

رسمی زبانوں کے تعمیراتی

ہر زبان میں ایک بار اور کسی کو پیدا کیا گیا تھا کہ ایک رسمی ڈھانچہ ہے. وہ عام طور پر ایک ہی طرز پر تعمیر کر رہے ہیں:

1. شروع کرنے کے لئے، حروف تہجی، یا تعمیر اور زبان میں استعمال کیا اظہارات کی جائے گی کہ مخصوص حروف کی کچھ سیٹ منتخب کریں. رسمی زبان کے ذریعے ایک کمپیوٹر کو استعمال کرتے ہوئے پروگرام کے لئے کسی بھی طریقہ ہے.
2. یہ خصوصیات اور قواعد بامعنی جملوں کی تعمیر کریں گے یہ ہے کہ نحو، بیان کرتا ہے.
3. الفاظ اور اظہار کی بعض قوانین پر. یہاں ایک اصول ہے: حروف کے کسی بھی ترتیب الفاظ شمار کرنے کے قابل ہونا ضروری ہے.

رسمی زبان کی طرف سے واضح قوانین ہیں کہ کسی بھی ساخت کا حوالہ دیتا ہے - یہ یاد ہونا چاہئے. تعمیر جب، کچھ خصوصیات موجود ہیں. اس طرح، اصطلاح "کردار" کے معنی کے لحاظ سے بہت کثیر فعال ہے، تو سب سے زیادہ حصہ کے لئے ایک "خط" کے طور پر کی اصطلاح کا استعمال کیا. مگر ان کے نیچے ہمارے لئے نہ صرف معمول سنکیتن، بلکہ بریکٹ، خصوصی حروف، اور زیادہ سمجھا جا سکتا ہے. یہ صرف رسمی زبانوں پر لاگو ہوتا ہے.

مثال 1

کی مزید "اصطلاح" اور کے تصور کا استعمال، 1 اور 0. ساتھ شروع طرح کے معاملات میں دو "فارمولا". پہلی چیز کی ایک analogue اور خاص چیز سے رجوع کرنے کے لئے استعمال نام کے طور پر کام کرتا ہے. سب سے پہلے ان کے تحت ثابت قدم اور انفرادی متغیر کو سمجھتے ہیں. ان میں، کے نتیجے میں، جس میں کچھ زبان تقریب میں استعمال کیا استعمال کیا جاتا ہے زیادہ پیچیدہ ڈھانچے کی تعمیر. گروپ کے لحاظ فارمولے کو سمجھنے کے تحت ایک خاص پروگرامنگ زبان میں ہے جس کے استعمال سے ممکن ہے. یہ "ہدایات" پر عملدرآمد کیا جائے گا، اور اس شخص کو مطلوبہ نتائج حاصل کریں گے.

EXAMPLE 2

مثال منطق ہے جس میں ایک الٹا (¬)، disjunction ہے پر غور کریں (∧)، مل کر (∨) اور نہتارت (⇒) اور کئی دیگر. تصاویر کی طرح ریکارڈنگ میں کے طور پر دیا جا سکتا ہے:

1. A؛
2. A∧V ⇒ ¬A
3. ¬ (A∨¬S)

حروف کے طور پر A، B، C، متغیر متبادل اور آپ کو ملتا منطقی آپریشن. کہاں اس قسم کی رسمی زبانوں لاگو کرنے کے لئے؟ اس طرح ایک نظام کے بڑے پیمانے پر استعمال جس کی پروگرامر کی طرف سے بیان کیا گیا ہے پروگرامنگ زبانوں، ریاضی، رشتے، منطقی اور حساب کا کام کرتا ہے، یا حصوں میں پایا جاتا ہے.

مثال کے 3

کی ایک زیادہ پیچیدہ منطقی فارمولوں پر نظر کرتے ہیں:

¬ (A∨¬S) ⇔ ¬A∧S = 1

ہم رسمی زبانوں کی ضرورت کیوں ہے. جو الفاظ میں بیان کیا گیا تھا تو ذرا تصور کریں کیا ہوتا؟ اب، ایک فارمولے کی بنیاد پر ہم نتائج اخذ نتیجہ نکالنا. بامعنی اظہار کی رسمی زبان میں حاصل کیا جا سکتا ہے بعض قوانین پہلے سے تشکیل، تبدیلی اور فارمولوں اور اصطلاحات، جن میں وہ بنائے جاتے ہیں کے "مفاہمت" کا احترام کیا جاتا ہے جب:

1. تعمیراتی اصطلاح فارمولوں اور؛
2. لسانی پہلو اور تشریح کی تحقیق؛
3. فارمولوں اور دیگر اصطلاح میں سے ایک کی ترتیب.

ہر ایک رسمی زبان کے ساتھ ساتھ قوانین کا سیٹ قائم کیا جانا چاہئے.

EXAMPLE 4

شرائط و فارمولوں کے لئے زبان نحو پیداوار کے قوانین میں موجودگی کی وجہ سے isomorphic تبدیلی ماڈل بنایا جا سکتا ہے. تو یہ نہ صرف عکاسی (کی نمائندگی) پہلے سے موجود ہے کہ علم کی ایک مخصوص جسم باہر کیا جائے گا، لیکن نئی معلومات حاصل کرسکتے ہیں. اس کے علاوہ، تبدیلی، اگرچہ، اور جگہ واضح اور سخت قوانین کے مطابق میں لے جائے گا، یہ خود کار کیا جا سکتا. اسی طرح کی تکنیک میں استعمال کیا جاتا ہے ماہرین کے نظام، علم اڈوں، اور سافٹ ویئر کے فیصلے کی حمایت کی مصنوعات.

اختتام

رسمی زبانوں وسیع پیمانے پر سائنس میں استعمال کیا جاتا ہے خاص طور پر فن میں. سائنسی تحقیق اور عملی سرگرمیوں کے نفاذ کے دوران وہ مؤخر الذکر کی کافی ابیوینجک صلاحیتوں کے پیش نظر، قدرتی کے ساتھ تعامل کر سکتے ہیں. ابھی تک باضابطہ زبانوں زیادہ درست طریقے سے علم پہنچا سکتا ہے اور بنی نوع انسان کی طرف سے جمع کی معلومات کے ایک مقصد کے تبادلہ سے باہر لے جانے کے لئے.