1-маъруза: Математик моделлаштиришнинг асосий тушунчалари, масалаларни эщмда ечиш бос=ичлари ва алгоритмлар назарияси

5. Бэкус-Наурнинг металингвистик формулалар тили
Алгоритмик тилнинг синтаксис =оидаларини ёзиш ва тушунтириш, щамда ыргатиш учун орали= тил лозим былади. Бу тил билан программалашнинг алгоритмик тилларини алмаштириб юбормаслик керак. Киритилиши керак былган бу тилнинг ызи, аслида программалаш тилини ани=лаш учун керак былади. Тилни ифодалашда Бэкус-Наурнинг металингвистик формулаларидан (БНФ) фойдаланилади.
БНФ тилида программалаш тилларининг синтаксиси ихчам ва формулалар кыринишида ани=ланади. Бу формулалар оддий арифметик формулаларга ыхшаб кетади, шунинг учун щам, уларни металингвистик формулалар (=ис=ача метаформула) деб аталади.
Метаформуланинг ынг ва чап =исмлари "::=" белгиси билан ажратилади, унинг маъноси "ани=ланиши быйича шундай" жумласига я=инро= (русчаси "это есть"). Бу белгининг ынг томонида мета ызгарувчи, чап томонида эса мета ызгарувчининг =ийматлари тыплами ётади. Тушунишга осон былиши учун мета ызгарувчилар, ёки уларнинг =ийматлари бурчак =авс ("<" ва ">") лар ичига олиб ёзилади. Масалан
<сон>, <арифметик ифода>, <оператор> ва щакозо.

Мета ызгарувчиларнинг мета =ийматлари бир неча мумкин былган конструкциялардан ташкил топиши мумкин. Бу щолда конструкциялар ызаро тик чизи= (  ) билан ажратилади. Бу белги "ёки" сызига я=инро= маънони англатади.

Метаформулаларга доир =уйидаги масалаларни кыриб чи=айлик:
1-мисол:


<ызгарувчи>:: = A  B
<ифода>:: = <ызгарувчи><ызгарувчи> + <ûзгарувчи><ызгарувчи> - <ûзгарувчи>

бу формулада <ûзгарувчи> деганда А ёки В щарфлари тушунилади, <ифода> тушунчаси остида эса =уйидаги 10 та щолнинг бири былиши мумкин:

A, B, A + A, A + B, B + A, B + B, A - A, A - B, B - A, B - B.
2-мисол:


<иккилик ра=ам>::= 01
<иккилик код>::=<иккилик ра=ам>  <иккилик код> <иккилик ра=ам>

бу мисолдаги метаформуланинг ынг томонида ани=ланаётган тушунчанинг ызи ётибди, бу эса метаформулаларнинг рекурсив хоссасига эга эканлигини кырсатади.

Мета формулаларни ёзишда "{", "}" =авслари щам учраб туради. Бу =авс ичига олиб ёзилган конструкция такрорланувчи конструкция щисобланади. Ю=орида кыриб чи=илган 2-мисолни =уйидагича ёзсак щам былди:


<иккилик ра=ам>::= 01
<иккилик код>::=<иккилик ра=ам>  {<иккилик ра=ам>}