Tizimli dasturlash fani bo‘yicha yakuniy nazorat savollari

G = {N, T, S, P}

Коидалар куйидаги куринишга эга: a → b

a  (N  T)⁺

b  (N  T)^*

+ бу тупламга буш туплам киритиш мумкин эмаслигини англатади

* бу тупламга буш туплам киритиш мумкинлигини англатади

a ва b – баъзи бир каторлар (белгилар кетма-кетлиги)

Бундай коидалар продукциялар деб хам аталади.

G1 грамматикага мисол караб чикамиз. Бу холда куйидагилар киритилади:

Нетерминал белгилар  A, B, C, …
терминал белгилар  a, b, c, …
Караймиз
G1 = {N, T, S, P}, бу ерда
N = {A, B, S}
T = {a, b}
P = { S  AB (1)
A  aA (2)
A  a (3)
B  Bb (4)
B  b (5)
}
№2 коидада нетерминал белги А хам чап хам унг булакда мавжуд. Бу эса А белги тегишли каторлар синфи А белгига а префиксни кушиш оркали курилишини англатади.
Учинчи коидада А а оркали аникланади. Умумий холда бундай жараён каторлар конкатенацияси деб аталади ( А катор чапдан кушиладиган а конкатенациясидан курилади).

51. Kompilyatsiya nazariyasining elementlari haqida ma’lumot bering.

Kompilyator – tizimli kayta ishlovchi dastur bulib, yukori daraja dasturlash tilida ѐzilgan dasturni mashina kurinishiga ugiradi (ob’ekt dasturga).

Ob’ekt dasturi mashina kodlarining ketma-keligidan iboratdir.
Kompilyatorning ishi - alfavitni, leksikani, sintaksisni, semantikani (mazmunni) saklagan xolda uzgartirishdir.


Alfavit – til konstruktsiyasini kurishda foydalanish mumkin bulgan belgilar tuplamidir.

Leksika – tilning aloxida ma’noli birliklari tuplamidir (leksemalar).

Leksema – tilning ma’noga ega bulgan minimal konstruktsiyasidir.
Leksemalarga uzgaruvchilar ismlari, xizmatchi suzlar, konstantalar, amal belgilari, ajratkichlar va x.k.