5-mavzu. Tizim va boshqarish Reja


M isol yechilishida Dyuri modelining qo‘Ilanishi



Download 174,5 Kb.
bet3/5
Sana08.06.2022
Hajmi174,5 Kb.
#644251
1   2   3   4   5
Bog'liq
6 Maruza (1)

M isol yechilishida Dyuri modelining qo‘Ilanishi

Misol uchun bizga, ikkilik sanoq tizimini son yozilishiga aniq bir ta ’rif kerak. Buni ko‘p yo‘llar bilan qilish mumkin. Bu bo‘limda biz boshqa sanoq tizimlarida qo‘llanadigan usullarni ham ko‘rib chiqamiz. Ikkilik tizimi bu usul, bo‘sh-konttekst


(BK) grammatikasi asosiga ko'ra aniqlanadi.
B -^ 0 B->1
L -»B L L ^ L B
N -» L N -> L L
1-misol. Bitni, bitlar ro‘yxatini va sonini bildiruvchi, term inal belgilar «.», «0» va «1», noterm inal esa B,L va N. Qonun bilan N belgisi chiqariladigan, term inal belgilardan ixtiyoriy hosil bo‘lgan zanjirni ikkilik son deb hisoblaymiz. Bu gram-
matika shunday faktlarni belgilaydiki, ikkilik sonlar birdan ko‘proq nollar va birlarni ketma-ketligini va yana nuqtadan, yana bir nol va birlar ketma-ketligi yaratilishi m um kin. Bundan tashqari, bu gram m atika har bir ikkilik songa aniq bir tuzilishga yondashtiradi. Masalan, 1101.01 zanjiri quyidagi qatlamga ega:

В 1
!


l


2.6-rasm. Ikkilik tizimini yozish


Ikkilik tizimini yozishda, uning tuzilishiga qarab tizimni qadam ma-qadam aniqlash odatiy hoi (2.7-rasm). Har bir noterminalga quyidagi moslamalarni (atributlar) vozdirib uni amalga oshirish mumkin:
Bit В butun qiymatli moslamaga ega «гпа’ло», V(B) bilan belgilanadi.
Bitlar ro‘yxati L butun qiymatli moslamaga ega «uzunlik»,
1(L) bilan belgilanadi.
Bitlar ro‘yxati L butun qiymatli moslamaga ega «ma’no», V(L) bilan belgilanadi.
Son N «ma’no» moslamaga ega, ratsional son bo‘lib, v(n) bilan belgilanadi.
(Shuni ta’kidlash kerakki, ham ma noterminal L da ikkitadan moslama; um um an olganda, har bir noterminalga ixtiyoriy miqdorda moslamalarni qo‘llash mumkin.)
Bu grammatikani shunday ko‘paytirish mumkinki, har bir sintaktik qonunga semantik qonunlar javob berishi kerak.
В о v(B) = О
v(B) = 1
V(L) = v(B); 1(L) = 1
v(Ll) = 2v(L2) + v(B); 1(L1) = 1(L2) + 1
V(N) = v(L)
v(N) = v(Ll) + v(L2)=21(L2)
В
L ^ В
LI L2B
N -> L
N -* LLL2

2-misol (to‘rtinchi va oltinchi qonun indekslari bir nomli noterminallarni kirishini farqlashda) qo‘llaniladi. Bu semantik qonunlarda moslama m a’nosi ham m a noterminallar uchun moslamalar m a’nosi va uning avlodiga qarab aniqlanib, oxirgi m a’nosi ham m a moslamalarga tegishli bo‘ladi. Taxmin qilish mumkinki, semantik qonun yozilishiga belgilangan mazmun tushunarli. Shuni inobatga olish kerakki, masalan, «о» belgisi semantik qonunda v(b)=0 kabi, sintaksis qonundagi «o»B -> 0


kabi tushunilmaydi. Birinchi ko‘rinishda «о» qandaydir matematik m a’noga ega bo‘lib, nol sonini bildiradi, ikkinchi ko‘rinishda qandaydir ellips formaga ega bo‘lgan belgini bildiradi. Qandaydir m a’noda bu belgilarni o‘xshashligi tasodifan boshqa hech narsaga ega emas.
Har bir tugundagi moslamalarni yozib olib, tuzilishni kcngaytirsa bo‘ladi (2.7-rasm).
Shunday qilib, ‘1101.01»ni 13.25 korinishiga kelliramiz (o‘nlik sanoq tizimida). BK tillarini bunday aniqlash yo‘llari o‘ziga yarasha mashhur, chunki uni ko‘p avtorlar qo‘llagan. Biroq bu usulni kengaytirishga muhim omillar mavjud. Aynan shu omillar bizga kerak.
Taxm in qilam izki, m asalan, biz sem antik ikkilik tizim yozilishi aniqlanishini boshqa yo‘1 bilan aniqlashim iz kerak.
Birinchi bir 1101.01 yozuvi aslida 8 ni bildiradi, am m o unga tegishli ravishda 1 ni yondashtiriladi (2.7-rasm). Balki shuning uchun, sem antikani aniqroq aniqlaym iz, ya’ni belgining qayerda turishi ham qandaydir rol o ‘ynashi uchun. Quyidagi m oslam alarni kiritish m um kin:
L{v = 1 3 . / = 4 ) . L, 1—2)
L ( r = M = : i ) ^ B { v = l ) L ( i ~ O A = 1) B ( r = i )
/.• .'•••• -2; Bl'tyO) 1 i3(r~()) 1
L{ c ~L. ( = i j U ( v = i ) 0 0
B(n= 1) I



Download 174,5 Kb.

Do'stlaringiz bilan baham:
1   2   3   4   5




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©hozir.org 2024
ma'muriyatiga murojaat qiling

kiriting | ro'yxatdan o'tish
    Bosh sahifa
юртда тантана
Боғда битган
Бугун юртда
Эшитганлар жилманглар
Эшитмадим деманглар
битган бодомлар
Yangiariq tumani
qitish marakazi
Raqamli texnologiyalar
ilishida muhokamadan
tasdiqqa tavsiya
tavsiya etilgan
iqtisodiyot kafedrasi
steiermarkischen landesregierung
asarlaringizni yuboring
o'zingizning asarlaringizni
Iltimos faqat
faqat o'zingizning
steierm rkischen
landesregierung fachabteilung
rkischen landesregierung
hamshira loyihasi
loyihasi mavsum
faolyatining oqibatlari
asosiy adabiyotlar
fakulteti ahborot
ahborot havfsizligi
havfsizligi kafedrasi
fanidan bo’yicha
fakulteti iqtisodiyot
boshqaruv fakulteti
chiqarishda boshqaruv
ishlab chiqarishda
iqtisodiyot fakultet
multiservis tarmoqlari
fanidan asosiy
Uzbek fanidan
mavzulari potok
asosidagi multiservis
'aliyyil a'ziym
billahil 'aliyyil
illaa billahil
quvvata illaa
falah' deganida
Kompyuter savodxonligi
bo’yicha mustaqil
'alal falah'
Hayya 'alal
'alas soloh
Hayya 'alas
mavsum boyicha


yuklab olish