Algoritmik Metalingvistika Subtitle here Reja: Bekus-Naurning metalingvistik formulalar tili Algoritmik tilning sintaksis qoidalarini yozish va tushuntirish, hamda o'rgatish uchun oraliq til lozim bo'ladi. Bu til bilan programmalashning algoritmik tillarini almashtirib yubormaslik kerak. Kiritilishi kerak bo'lgan bu tilning o'zi, aslida programmalash tilini aniqlash uchun kerak bo'ladi. Tilni ifodalashda Bekus-Naurning metalingvistik formulalaridan (BNF) foydalaniladi. Bu formulalar oddiy arifmetik formulalarga o'xshab ketadi, shuning uchun xam, ularni metalingvistik formulalar (qisqacha metaformula) deb ataladi. BNF tilida programmalash tillarining sintaksisi ixcham va formulalar ko'rinishida aniqlanadi. Bu belgining o'ng tomonida meta o'zgaruvchi, chap tomonida esa meta o'zgaruvchining qiymatlari to'plami yotadi. Metaformulaning o'ng va chap qismlari ::k belgisi bilan ajratiladi, uning ma'nosi aniqlanishi bo'yicha shunday jumlasiga yaqinroq (ruschasi eto yest). Tushunishga oson bo'lishi uchun meta o'zgaruvchilar, yoki ularning qiymatlari burchak qavs () lar ichiga olib yoziladi. Masalan , , va hakozo. Meta o'zgaruvchilarning meta qiymatlari bir necha mumkin bo'lgan konstruksiyalardan tashkil topishi mumkin. Bu holda konstruksiyalar o'zaro tik chiziq ( ( ) bilan ajratiladi. Bu belgi yoki so'ziga yaqinroq ma'noni anglatadi. Metaformulalarga doir quyidagi masalalarni ko'rib chiqaylik bu formulada deganda A yoki V sharflari tushuniladi, tushunchasi ostida esa quyidagi 10 ta holning biri bo'lishi mumkin :: k A ( B :: k ( k ( - Meta formulalarni yozishda , qavslari ham uchrab turadi. Bu qavs ichiga olib yozilgan konstruksiya takrorlanuvchi konstruksiya hisoblanadi. Foydalanilgan adabiyotlar: 1. Virt N. Algoritmi strukturi dannix programmi. - M.: Mir, 1985 g. 2. Abramov V., Trifonov N., Trifonova G. Vvedeniye v yazik Paskal. - M.: Nauka, 1988 g. 3. Faysman A. Professionalnoye programmirovaniye na Turbo Paskale. - T.: Infomeks Korporeyshn, 1992 g. 4. Findlay W., Watt D.A., Paskal. An introduction to methodical programmin. Third edition. - London: Pitman, 1985 g. ...
Algoritmik Metalingvistika Subtitle here Reja: Bekus-Naurning metalingvistik formulalar tili Algoritmik tilning sintaksis qoidalarini yozish va tushuntirish, hamda o'rgatish uchun oraliq til lozim bo'ladi. Bu til bilan programmalashning algoritmik tillarini almashtirib yubormaslik kerak. Kiritilishi kerak bo'lgan bu tilning o'zi, aslida programmalash tilini aniqlash uchun kerak bo'ladi. Tilni ifodalashda Bekus-Naurning metalingvistik formulalaridan (BNF) foydalaniladi. Bu formulalar oddiy arifmetik formulalarga o'xshab ketadi, shuning uchun xam, ularni metalingvistik formulalar (qisqacha metaformula) deb ataladi. BNF tilida programmalash tillarining sintaksisi ixcham va formulalar ko'rinishida aniqlanadi. Bu belgining o'ng tomonida meta o'zgaruvchi, chap tomonida esa meta o'zgaruvchining qiymatlari to'plami yotadi. Metaformulaning o'ng va chap qismlari ::k belgisi bilan ajratiladi, uning ma'nosi aniqlanishi bo'yicha shunday jumlasiga yaqinroq (ruschasi eto yest). Tushunishga oson bo'lishi uchun meta o'zgaruvchilar, yoki ularning qiymatlari burchak qavs () lar ichiga olib yoziladi. Masalan , , va hakozo. Meta o'zgaruvchilarning meta qiymatlari bir necha mumkin bo'lgan konstruksiyalardan tashkil topishi mumkin. Bu holda konstruksiyalar o'zaro tik chiziq ( ( ) bilan ajratiladi. Bu belgi yoki so'ziga yaqinroq ma'noni anglatadi. Metaformulalarga doir quyidagi masalalarni ko'rib chiqaylik bu formulada deganda A yoki V sharflari tushuniladi, tushunchasi ostida esa quyidagi 10 ta holning biri bo'lishi mumkin :: k A ( B :: k ( k ( - Meta formulalarni yozishda , qavslari ham uchrab turadi. Bu qavs ichiga olib yozilgan konstruksiya takrorlanuvchi konstruksiya hisoblanadi. Foydalanilgan adabiyotlar: 1. Virt N. Algoritmi strukturi dannix programmi. - M.: Mir, 1985 g. 2. Abramov V., Trifonov N., Trifonova G. Vvedeniye v yazik Paskal. - M.: Nauka, 1988 g. 3. Faysman A. Professionalnoye programmirovaniye na Turbo Paskale. - T.: Infomeks Korporeyshn, 1992 g. 4. Findlay W., Watt D.A., Paskal. An introduction to methodical programmin. Third edition. - London: Pitman, 1985 g. ...
