د رسمي ژبو څه منسوب شي؟ د کارولو بېلګې

د رسمي ژبې څه شی دی او له طبيعي دا څومره توپير لري؟ دا څنګه جوړ شو؟ د رسمي ژبو څه منسوب شي؟ کار دی او دا د هغه مراجعه کارول؟

د رسمي ژبو مشخصات

نو موږ د يوې ډلې غږ مصنوعي ژبو، چې له خوا د اظهار د جوړولو په اړه دقیق اصولو، او همدارنګه د هغوی د پوهې له ځانګړتياوو څخه دي. د سيستمونو د صنعتي موخو لپاره هم وکارول شي د رسمي ژبو ته منسوب شي. دوی سره په روښانه اصول سره سم جوړ شوي دي، د مال او د زده کړې د اړیکو سمون لري، تړون او دقیق نندارې ته وړاندې موضوع سيمه یا بیلګې له شيانو. د نښې ارزښت او مانا کې کوم عملي بڼې (د شرایطو د استعمال) له خوا نه بدل شي. دا په د العروض بدلولو او semantic تفسیر د اصولو د رسمي ژبې په شتون کې تر ممکنه مننه. دوی اکثرا د ریاضیاتو مرکز په توګه د کارولو جوړ شوی دی. له امله دا حقیقت چې دا، د پرمختګ ټوله موده کې، د یو سمبولیک ترڅو کارول شوې تر څو يو د مفاهیمو او شيانو بیلابیلو تطبیق شوی دی. دا د رسمي ژبو هغه څه ته اړتيا لري. هغوی کولی شي د پام وړ مالومات کم کړي. مخکې، سره د رسمي او طبيعي ژبو په اوږدو کې کارول شوي دي، خو سره د موضوع او د اړتیا، د محاسبوي استدلال یو کلک منطقي تحلیل لپاره تدریجي اختلاط، وپتيل شوه چې په تېرو پرېږدي. دا پروسه د XX پیړۍ د پاڼې څخه د دوام وکړ. دا د تېرې پېړۍ کې د رسمي ژبو له پلوه تر ټولو ګټورې بلل. په مختلفو ځانګړي څانګې جوړ شوي دي. نو، د کمپيوټر ساينس پوهنځی د ځانګړی اهمیت پروګرامونو ژبو او د منطق د الجبر دي، نه يوازې نظري، بلکې د محتویات یو عملي ټکی څخه.

تعریف

څه د رسمي ژبو کولای منسوب شي، موږ لا لري په لنډه توګه تشريح شوي دي. خو هغه څه چې موږ کولای شو د هغوی په اړه وايي؟ رسمي ژبه ده د مختلفو تعریفونه ډیر ورکړل. د هغوی لست د ټولو، دا به د ډېر وخت څخه ووځي، نو په تر ټولو مشهور وګورو:

1. يوه ساده لست کې د ژبې د کلمو - معمولا د جوړولو وروستي ډول ته او د هغو چې د يوه ساده جوړښت لري په اړه درناوي نو وايي.
2. وييکي تولید یو د ټاکلو رسمي ګرامر له خوا.
3. د جوړښت له خوا جوړ منظم څرګندونې.
4. وييکي تولید د BPF-ډيزاين له خوا.
5. د جوړښت، د يو د محدودو automaton له خوا پیژندل.

راځئ په یو مثال وګوري. راځئ چې وايي، موږ ټول د الفبا، دوه شمېر 1 او 0. د ليک "اې" نندارې ته ورکړل لرو، موږ استعمال د 1010001. دا یو ترکیب دی د یوه رسمي ژبې د استعمال. دا هم ممکنه ده چې تش ټکي وکاروئ (کله چې د تار لري صفر په اوږدوالي، او هلته دی هيڅ) سره په په بڼه موږ ته اشنا یوه ځانګړې ې کړي. خو په تفصیل سره پوه شي چې څه ده په يوه رسمي ژبه، 4 مثالونه چې به بل ورکړل شي مرسته وکړي. دا څه شی دی؟ د لوستونکی د تفاهم و، چې په يوه رسمي ژبه شي منسوب شي. خو په اړه چې څنګه هغوی جوړ لږ نور.

د رسمي ژبو د جوړولو

هره ژبه په يوه رسمي جوړښت چې یو ځل او چا پيدا کړي دي. هغوی عموما په همدې نمونه جوړ:

1. د پیل، د الفبا، او یا د مشخصو خویونه ځينې ټولګه چې به جوړ شي او څرګندونې په ژبه کارول غوره کړي. له خوا د رسمي ژبه ده چې د پروګرام د کمپيوټر په کارولو سره هره لاره.
2. دا د العروض، چې ده، د ځانګړنو او قواعد چې به مانا جملو د جوړولو تشريح کوي.
3. د کلمو او څرګندونې ټاکلی قوانین. دلته د يو حاکميت شتون لري: د تورو د هر ترتيب باید وکوالی شی لغاتونه حساب وي.

د رسمي ژبې ته اشاره کوي کوم چې د جوړښت روښانه اصول لري - دا بايد په ياد شي. کله چې د جوړولو، ځينې ځانګړنې شته دي. په دې ډول، د اصطلاح "کرکټر" په معنی سره ډير څو فعال، له دې امله د ټولو برخه اصطلاح د "لیک" په توګه کارول. خو لاندې يې کولای شي نه يوازې د امريکا لپاره د معمول په لاندنۍ، خو هم د قوسونو، د ځانګړو تورو، او نور پوه شي. دغه کار په یوازې د رسمي ژبو.

بيلګي 1

راځئ چې سره 1 او 0. پیل په داسې قضيو کې، د نور د "اصطلاح" او مفهوم وکاروي "فورمول." په لومړي توګه د څيز د يو انالوګ او نوم ته ځانګړي څه ته مراجعه کارول عمل کوي. د ټولو نه اول د ثوابت او انفرادي متحولونه يې لاندې پوه شي. له دغو څخه، په خپل وار، ډېر پېچلی جوړښتونه، چې د دې لپاره کارول کيږي په ځينو ژبې دنده کارول جوړ کړي. له مخې د دې ډلې د شرایطو د فورمول پوه شي، د پروګرامونو د يو ټاکلي ژبه چې د کارونې امکان لري. دا "لارښوونې" به د پروسس شي، او هغه شخص د مطلوبه پایله به ترلاسه کړي.

بيلګي 2

د مثال په منطق کې چې نشته یو Inversion (پرنګي)، په پام کې disjunction (∧)، د تړاو (∨) او د تضمن (⇒) او يو شمېر نور. د انځورونو داسې ثبت شي په توګه ورکړل شي:

1. يو؛
2. A∧V ⇒ ¬A
3. د پرنګي (A∨¬S)

لکه څنګه چې د تورو د A، B، C، د متحولو تعویض او تاسو تر لاسه د منطقي عملیات. د دې ډول رسمي ژبو چېرته درخواست؟ د پروګرامونو ژبو، رياضي، اړیکې، منطقي او د رياضي د دندو، یا د دوی برخې د چې د پروگرامر لخوا ویل شوي دي د داسې یو میکانیزم د پراخ استعمال وموندل.

بيلګي 3

راځئ چې په يو ډېر پېچلی منطقي فورمولونه وګورو:

د پرنګي (A∨¬S) ⇔ ¬A∧S = 1

له دې امله موږ د رسمي ژبو ته اړتيا لري. تصور څه به که دا په معنو شو وشول؟ اوس، پر بنسټ د یو فورمول موږ پایلو روايته. مانا څرګندونې کولای شي په رسمي ژبې تر لاسه يوازې هغه مهال د ځانګړو اصولو مخکې د جوړښت، د بدلون او د فورمولونه او شرايطو د دوی دي "تفاهم" ته درناوی:

1. ساختماني مهاله فورمولونه او؛
2. د semantic اړخ او تفسیر مطالعه؛
3. د فورمولونه او نورو مهاله یو تسلسل.

هر رسمي ژبه بايد په ښه توګه د اصولو ټاکل شي.

بيلګي 4

د لپاره د شرطونو او فورمولونه د ژبې العروض محصول د اصولو د شتون له امله کولای شي isomorphic بدلون نمونې دي. نو دا به نه یوازې د انعکاس (د استازيتوب) د علم چې د مخکې نه شتون یوه ځانګړي بدن ترسره شي، خو ښايي د نوي معلومات ترلاسه کوي. سربیره پردې، د بدلون، که څه هم، او به ځای ته روښانه او سخت اصولو سره سم وکړي، نو کولای شي اتومات شي. ورته تخنيکونه په کار وړل کيږي کارپوه سیستمونو، د پوهې اډو، او د سافټ ویر د پریکړو د ملاتړ محصولاتو.

پایلې

رسمي ژبو په پراخه توګه په علومو کارول، په تېره بيا په هنر. د علمي څيړنو او د عملي فعاليتونو د پلي کولو په ترڅ کې دوی کولای شي د د ورستنيو د پام وړ بیان په وړتیاوو محتویات سره د طبیعي تعامل،. تر اوسه د رسمي ژبو کولای شي په ډير دقيق ډول د پوهې ته ورسوي او د معلوماتو د جمع له خوا د انسانانو هدف په بدل کې ترسره کړي.