Til sintaksisi va semantikasi

Til sintaksisi va semantikasi 1.Til ta'rifi. Sintaksis va semantika Kompilyatorni tashkil etishdan avval kiritilayotgan tilning aniq ta'rifiga ega bo'lish kerak. Bir necha katorlardan tarkib topgan tilni tassavvur qilishimiz mumkin. Tilni ifodalashda qanday katorlar ushbu tilga tegishli ekanligi (til sintaksisi) va ushbu katorlarni qiymati (til semantikasi) aniklanadi. Sintaksis - formal to'g'ri gaplar to'plamining qoidalari to'plamidir. Tilga tegishli katorlarni tilning gaplari deb ataladi. Real tillarda cheksiz gaplar soni bo'ladi va ularni sanab utishning iloji yuk. Eng sodda tilning sintaksisini tabiiy tilda kuyidagicha ifodalash mumkin, masalan: «barcha katorlar, fakat 1 va 0 lardan tashkil topgan» u holda 11 va 100110 -tilga tegishli, 1020 esa yuk. Masalan, quyidagi gap «mashina yuradi». «Mashina» so'zi ega, «yuradi» kesim. Ushbu gap quyidagi sintaksis qoidalar yordamida ifodalash mumkin bo'lgan tilga tegishli: ::= ::=mashina | ot ::= yuradi | chopadi Ushbu uchta katorning manosi kuyidagicha: gap ega va kesimdan iborat. Ega yoki mashina degan bir so'zdan yoki ot degan so'zdan tashkil topgan. Kesim xam yoki yuradi degan so'zdan, yoki chopadi degan so'zdan tashkil topgan. Ixtiyoriy gapni boshlang'ich belgi orqali ketma-ket kuyish yo'li bilan olish mumkin. Ushbu qoidalarni yozishda foydalaniladigan notatsiya Bekus-Naur formasi deb ataladi. Sintaksis birliklar va noterminal belgilar deb ataladi, mashina, ot, yuradi, chopadi terminal belgilar deb ataladi, qoidalar esa tugiluvchi qoidalardir. ::=, | . belgilar metabelgilardir. Semantika tilning barcha gaplariga qiymat beradi. Alfavit -belgilar to'plami. Masalan: Rus xarflari. Lotin xarflari , rakamlar. Agar A-alfavit bulsa, A* A ga kiruvchi barcha belgilardan tuzilgan katorlarning (bush katorni xam qo'shgan holda) to'plamini anglatadi. A+ esa A ga kiruvchi barcha belgilardan tuzilgan katorlarning (bush katorni xam kushmagan holda) to'plamini anglatadi. Bush kator kupincha Ye(epsilon) yordamida belgilanadi Tilni sintaksisini to'plamlarni tasvirlash orqali aniqlash mumkin, masalan L=0n1n|n=0. Ushbu til bir yoki bir necha nullardan, birlardan va bush katordan tashkil topgan katorlarni o'z ichiga oladi. Tilni murakkabrok sintaksisini grammatika yordamida aniqlash yaxshirok. Grammatikaga tilni gaplarini tuzish uchun qoidalar to'plami kiradi. L sintaksisni olamiz va quyidagi qoidalardan foydalanamiz. 1. S -- 0S1 2.S -- E Ushbu tilning gaplarini chiqarish uchun kuyidagicha ish yuritamiz. S belgidan boshlaymiz va uni 0S1 bilan almashtiramiz yoki Ye bilan. Agar S yana olingan katorda mavjud bulsa, yana almashtiramiz va x.k. Shunday usul bilan olingan S ga ega bo'lmagan kator shu tilning gapi hisoblanadi. Masalan, S 0S1 00S11 00S11 0011 Bunday katorlarning ketma-ketligi 0011 katorni chiqishi deyiladi, strelka belgisi esa chiqish kadamlarini bo'laklash uchun xizmat qiladi. Ushbu tilning barcha gaplarini ikkita qoidadan kelib chikkan holda keltirib chiqarish ...