1)Берилгенлер структурасы түсиниги ҳәм оларды улыўма аңлатыў. Хисоблаш жараёни берилганлар дастури ёрдамида амалга оширилади, дастурнинг узи эса специфик табиатга эга берилганларни ифодалайди. Берилганлар:1)мантикий даражада;2)физик даражада (машина даражасида), берилганлар физик хотирада ифодаланади. Иккала даражада хам берилганларга аник таъриф бериш мумкин.Мантикий даражада берилганлар кандайдир информацион объектлардан ташкил топган булиб, улар кандайдир фактларни канайдир алгоритм ёрдамида кайта ишлаш максадида формал куринишда ифодалашга хизмат киладилар. Физик даражада мураккаблиги ва мазмунидан катьи назар берилганлар иккилик разрядлари кетма-кетлиги куринишида ифодаланади. Бу даражада берилганлар узининг ички табиатига эга эмас, яъни улар структураланмаган. Биргаликда караладиган ва кайта ишланадиган элементар берилганларнинг туплами берилганлар структураси деб аталади. Умумий холда берилганлар структураси – берилганлар элементлари уртасида мавжуд муносабатларни ифодаловчи коида ва чегаралар тупламидир. Бир берилганлар элементининг бошка берилганлар элементи барча алокалари кандайдир берилганлар структурасида «муносабат» элементини ташкил этади. Берилганлар структураси бир-бири билан узаробогланган берилганлар элементларидан ташкил топади. Структуранинг хар бир элементи умумий холда 2- булакдан ташкил топади: 1)Берилганлар элементи; 2)Муносабат элементи. Уз навбатида берилганлар элементи кандайдир турдаги бир кийматли берилганлар булиши мумкин, ёки бир турдаги кандайдир берилганлар туплами булиши мумкин. Берилганлар элементи турлари тушунчасига куйидагилар киради: 1)мумкин булган кийматлар диапазони (сохаси); 2)мумкин булган амаллар туплами; 3)машинада ифодалаш усули.
2) Грамматикалар классификатсияси Нол тур: Фраза структурали грамматика. Коидалар структурасига хеч кандай чегаралар куйилмайди: α→β, бу ерда αєV¬¬¬+, βєV* - жуфт барчаси грамматикани чикармаган холда. Амалиётда кулланилмайди, V=VTUVN, G(VN,VV,P,S). Биринчи тур: контекст-боглик: а)кискартирувчи: α1Aα2→ α1βα2, бу ерда α1 ва α2 є V*, A є VN, β є V+. G(VT,VV,P,S) б) кискартирилмайдиган грам: α→β, бу ерда α ва β єV¬¬¬+, |β|>=|α|. Контекс –боглик грамматика коидалари структураси ушбу тил гапларини куриш жараёнида битта нотерминал белги у ёки бу занжирга контексга боглик холда кушилган булиши мумкин ва унда у учрайди: α1Aα2→(ёки α1 , ёки α2 нолга тенг). Кискартирилмайдиган грамматика: худди шундай структурага эга, лекин A ва β занжирлар узунлиги бир хил. Компиляторларни куриш жараёнида ушбу грамматикадан фойдаланилмайди.
Иккинчи тур: контекст-озод граматика: А→β, бу ерда AєV¬N, βєV+(кискартирилмайдиган КБ грам). Кискартириладиган КО: А→β, бу ерда AєV¬N, βєV*. Коиданинг унг кисмида буш белгилар занжири булиши мумкин.К-О грамматика дастурлаш тилларининг синтаксис конструкцияларини ифодалашда фойдаланилади. Учинчи тур:Регуляр грамматика: чап чизикли : А→Bγ, А→γ ,бу ерда A ва B єV¬N, γ єVT*, унг -чизикли: А→γB, А→γ, бу ерда A ва B єV¬N, γ єVT*. Регуляр грамматика дастурлаш тилларининг оддий конструкцияларини ифодалашда фойдаланилади. Компиляторда унинг асосида кирувчи тилнинг лексик тахлил функциялари курилади. Энг мураккаб грамматика бу нол грамматикадир. Энг содда 3 тур грамматикасидир.
Do'stlaringiz bilan baham: |