I-bob. Algoritm tili haqida 1 Algoritmik tillarning umumiy tavsifi

Til alifbosi shu tilgagina tegishli bo'lgan chekli sondagi belgilardan tashkil topadi. Dastur matnini yozishda faqat shu belgilardangina foydalanish mumkin, boshqa belgilarni esa til tanimaydi, ya'ni ulardan foydalanish mumkin emas.
Til sintaksisi alfavit harflaridan tashkil topgan bo'lib, V mumkin bo'lgan konstruksiyalarni aniqlovchi qoidalar tizimidir. Mazkur tilda ifoda etilgan to'la algoritm va uning alohida hadlari shu konstruksiyalar orqali ifoda qilinadi. Shunday qilib, belgilarning har qanday ketma-ketligini, hamda mazkur tilning matni to'g'riligi yoki noto'g'riligini Nil sintaksisi orqali bilib olamiz.
Til semantikasi algoritmik tilning ayrim konstruksiyalari uchun qoidalar tizimini tushuntirishga xizmat qiladi.
Endi algoritmik tiliarning qaysilari amalda ko'proq ishlatilishi haqida fikr yuritsak. Ma'lumki, 70-yillarda bir guruh muammoliyo'naltirilgan algoritmik tillar yaratilgan bo'lib, bu dasturlash tillaridan foydalanib juda ko'p sohalardagi muammoli vazifalar hal qilingan. Hisoblash jarayonlarining algoritmlarini ifodalash uchun Algol-60 va For­tran tillari, iqtisodiy masalalar algoritmlari uchun Kobol va Algek tillari, matnli axborotlarni tahrir qilish uchun esa Snobol tillari ishlatilgan. Sanab o'tilgan bu algoritmik tillar asosan katta hajmli, ko'pchilikning foydalanishiga mo'ljallangan EHMlar uchun mo'ljallangan edi.
Hozirda insoniyat faoliyatining barcha jabhalariga shaxsiy elektron hisoblash mashinalari (SHEHM) shaxdam qadamlar bilan kirib bormoqda. Asosan SHEHMlarga mo'ljallangan, hamda murakkab jarayonlarning hisob ishlarini bajarish va juda katta ma'lumotlar tizimi bilan ishlashni tashkil etuvchi yangi algoritmik tillar sinfi borgan sari kengayib bormoqda. Bu tillar jumlasiga quyidagi tillarni kiritish mumkin:
■ Beysik tili;
■ Paskal tili;
■ Si tili va hokazo.
Dastur tuzishni o'rganishni boshlovchilarga mo'ljallan­gan, savol-javob tizimida ishlaydigan, turli-tuman jarayonlar algoritmini yozishga qulay bo'lgan tillardan biri BEYSIK(BASIC) tilidir. Beysik tilining nomi ingliz so'zi (Beginner's All-purpose Symbolic Instruction Code) ning o'qilishiga mos kelib, boshlovchilar uchun belgili ko'rsatmalar kodi(tili) degan ma'noni anglatadi. Beysik tilini yaratish ustidagi ishlar 1963 yilning yozidan boshlangan. Tilning ijodkorlari taniqli olimlar T.Kurs va J.Kemenilar hisoblanadi. Hozirga kelib Beysik tilining turli xil yangi ko'rinishlari ishlab chiqilmoqda va ulardan foydalanib millionlab dasturchilar ajoyib dasturlar yaratishmoqda.
Endi nisbatan mukammalroq bo'lgan Paskal va Si al­goritmik tillari haqida qisqacha fikr yuritsak.
Paskal tili 1969 yili N.Virt tomonidan yaratilib, mash-hur olim Blez Paskal nomi bilan ataldi. Bu til N.Virtning o'ylashi bo'yicha dasturlashning zamonaviy texnologiyasiga va uslubiga, strukturali dasturlash nazariyasiga asoslangan hamda boshqa dasturlash tillariga nisbatan mu-ayyan ustunlikka ega bo'lgan til bo'lishi lozim edi. Mazkur til:
1. Dasturlash konsepsiyasini va strukturasini tizimli (sistemali) va aniq ifodalaydi;
2. Dastur tuzishni tizimli olib borish imkonini beradi;
3. Dastur tuzish uchun boy termin va struktura tarh-lariga ega;
4. Yo'l qo'yilgan xatoliklarni tahlil qilishning yuqori darajadagi tizimiga ega.
1981 yili Paskal tilining halqaro standarti taklif etildi va IBM PC tipidagi shaxsiy komputerlarda Paskal tili­ning Borland firmasi tomonidan ishlab chiqilgan Turbo-Paskal oiladosh tili keng qo'llanila boshlandi. Hozirda Turbo-Paskalning bir qancha versiyalari yaratilib, yuqori darajadagi dasturlar yaratish imkoniyatlari borgan sari kengaytirilib borilmoqda:
4.0 versiyasidan boshlab dastur yozishni, tahrir qilishni va natijalar olishni osonlashtirish uchun yangi integrallasngan muhit hosil qilindi;
5.5 versiyasining paydo bo'lishi bilan Turbo-Paskalda ob'ektli dasturlash imkoniyati paydo bo'ldi;
6.0 versiyasidan boshlab esa Paskal dasturi ichiga quyi dasturlash tili bo'lmish Assembler tilida yozilgan dastur-larni qo'shish holati hosil qilindi. Shu bilan bir qatorda tilning integrallashgan muhiti ham bir qator o'zgarishlarga duchor bo'ldi.
Si tili 1972 yili D.Richi tomonidan turli xil EHMlar uchun universal til sifatida ishlab chiqilgan va dasturchi dastur tuzish jarayonida hisoblash mashinasining imkoniyatlaridan keng foydalanishi mumkin. Shuning uchun, bu til barcha narsani qilishga qodir degan tushuncha hosil bo'lgan.
Hozirda amalda foydalanilayotgan ko'pgina operatsion tizimlar Si tilida yaratilgan.
Metalingvistik formulalar tili 
Algoritmik tilning sintaksis qoidalarini yozish va tushuntirish uchun ham qandaydir til lozim bo'ladi. Bu til bilan dasturlashning algoritmik tillarini almashtirib yubormaslik kerak. Kiritilishi kerak bo'lgan bu til dasturlash tilini aniqlash uchun kerak bo'ladi. Bu til «meta till» deb ataladi. Tilni ifodalashda Bekus-Naurning metalingvistik formulalaridan (BNF) foydalaniladi.-
BNF tilida dasturlash tillarining sintaksisi ixcham va formulalar ko'rinishida aniqlanadi. Bu formulalar oddiy arifmetik formulalarga o'xshab ketadi, shuning uchun ham ularni metalingvistik formulalar (qisqacha metaformula) deb ataladi.
Metaformulaning o'ng va chap qismlari «::=» belgisi bilan ajratiladi. Belgining ma'nosi «aniqlanishi bo'yicha shunday» jumlasiga yaqinroq. Bu belgining o'ng tomonida meta o'zgaruvchi, chap tomonida esa meta o'zgaruvchining qiymatlar to'plami yotadi. Tushunishga oson bo'li­shi uchun meta o'zgaruvchilar, yoki ularning qiymatlari burchak qavslar («<» va «>») ichiga olib yoziladi. Masa­lan , , va hokazo.
Meta o'zgaruvchilarning meta qiymatlari bir necha mumkin bo'lgan konstruksiyalardan tashkil rtopishi mumkin. Bu holda konstruksiyalar o'zaro tik chiziq ( | ) bilan ajratiladi. Bu belgining ma'nosi «yoki» so'ziga yaqinoq tushunchadir.
Metaformulalarga misollar:
1.::= A | В
::= | + | —
bu formuladan deganda A yoki В harf-lari tushuniladi, tushunchasi ostida quyidagi 10 ta holning biri bo'lishi mumkin:



2. ::= 0|l
3. ::= |
3-misolda o'ng tomonda aniqlanayotgan tushuncha yotibdi, bu meta formulalarning rekursiv xossasiga ega ekanligini ko'rsatadi.
Meta formulalarni yozishda «{», «}» qavslar uchrab turadi. Bu qavs ichiga olib yozilgan konstruksiya takrorlanuvchi konstruksiya hisoblanadi.