O’zbekiston respublikasi vazirlar mahkamasi huzuridagi toshkent islom universiteti

Грамматикани аниқлаштириш
Бэкус-Наура формаси
Грамматик тилнинг тушунчаси
Грамматика – бу тилни аниқлаштирувчи математик система. грамматик тилни аниқлаштириш натижасида шу тилга тегишли бўлган символлар занжири ни хосил қилувчи қоидадир. Демак, грамматика – бу тил занжири генераторидир.
Дастур ёзиш жараёнида албатта биринчи ёндошувдан фойдаланилади. Яхши ёзилган дастурда комментарий шу дастурнинг маъносини очиб беради. Блок-схема қуриш эса дастьур алгоритмини бошқа тилда (масалан, блок-схемаларнинг график символлари) ифодалашдир. Шунингдек дастурнинг хужжатлари хам дастурнинг маъносини беради.
Машина фақатгина битта тилни тушунади -машина командаси тили. машина команда тилида дастурни изохлаш мураккаб , шунинг учун трансляторлар яратилади.
Иккинчи ёндошув дастурни тахрирлашда ишлатилади. Дастур бажарилиши бўйича натижаларни бахолаш жараёни инсон томонидан бажарилади.
\масалан, Паскал тилидаги да тузилган дастур кўриниши i:=0; while i=0 do i:=0; ндай машина томонидан маънога эга эмас, агар масалалга бошқа бажарилувчи дастур билан таъсир таъминланса, масалан, процессор ёки хотира ячейкасининг самарали ва узок муддатли ишлашини текширишда бу масала хеч қандай маънога эга эмас.
Дастурларнингт маъно жихатидан текшириш жараёнларини Дастурий таъминот ишлаб чиқишни автоматлаштириш тизимлари (CASE тизимлар).


Грамматикани аниқлаштириш
Бэкус-Наура формаси
Грамматик тилнинг тушунчаси
Грамматика – бу тилни аниқлаштирувчи математик система. грамматик тилни аниқлаштириш натижасида шу тилга тегишли бўлган символлар занжири ни хосил қилувчи қоидадир. Демак, грамматика – бу тил занжири генераторидир. Тилнинг грамматикасини турли усуллар билан ифодалаш мумкин. Масалан, рус тили гармматикаси мураккаб ыоидалар тўплами билан ифодаланади. Буни эса бошланғич синфларда ўрганидлади. Лекин аксарият тиллар учун тизимлар қоидалари асосида қурилган формал ифодаланган грамматикадан фойдаланиш мумкин.