Odatda har xil qurilmalarni loyihalashda avvlo mazmunli AGS tuziladi.
Bunday AGS dagi operator va shart uchlarining ichida
mikroamallar va mantiqiy
shartlar mazmunli terminlarda yozilgan bo‘ladi.
Quyida ko‘rilgan bo‘lish amali mikrodasturining mazmunli AGS va 6–
rasmda keltirilgan. Mazmunli AGS ko‘rilgandan so‘ng mikroamallar va mantiqiy
shartlar
mos holda u
1
, u
2
,…,u
n
va r
1
, r
2
, …,r
k
simvollar bilan almashtiriladi.
Ko‘rilayotgan mikrodastur uchun quyidgilarni yozish mumkin:
Operator uchlari
Y1: signRGY:=1;
Y2: RGY:=0;
Y3: GchT:=0;
Y4: singSM:=0;
Y5: singRGX:=0;
Y6: SM:=SM+RGX;
Y7: SM:=SM + RGXtesk;
Y8: RGY[n]:=1;
Y9: GrT:=GrT+1;
Y10: SM:=L1(SM);
Y11: RGX:=L1(RGX);
Y12: TP:=1;
Shart uchlari.
P1: (sign SM=signRGY); P2: (signSM=1);
P3: (GrT=0); P4: (GrT=n).
Algoritmlarning mantiqiy sxemalari (AMS) tilida
tavsiflangan mikrodastur
operator simvollari, mantiqiy shartlar, natural sonlar yozib qo‘yilgan strelkalardan
tashkil topgan chekli qator ko‘rinishida bo‘ladi. Operatorlar mikrodasturning biror
bosqichining mazmunini tavsiflasa, mantiqiy shartlar va strelkalar operatorlarning
bajarilish tartibini belgilaydi. AMS tilida mikrodasturni yozishda doimo yolg‘on
shartlar w ishlatiladi. AMS kuyidagi shartlarni qanoatlantirishi lozim:
Y={y
1
, y
2
…, y
n
} operatorlar to‘plamini tashkil iluvchi soni chekli bo‘lgan
operatorlarni va soni chekli bo‘lgan P={p
1
,p
2
,…, p
k
} mantiqiy shartlarni o‘z ichiga
oladi.
- Bitta boshlanish ub va bitta nixoya unoperatorlariga ega.
-u
b
operatordan oldin va o‘ng operatordan keyin strelkalarning bo‘lishi
mumkin emas.
-Har bir mantiqiy shartdan so‘ng doimo yuqoriga yo‘naltirilgan
strelka
qo‘yiladi.
- Har bir yuqoriga yo‘naltirilgan strelkaga bitta pastga yo‘naltirilgan strelka
to‘g‘ri keladi.
- Har bir pastga yo‘naltirilgan strelkaga kamida bitta yuqoriga yo‘naltirilgan
strelka to‘g‘ri keladi.
Bo‘lish amalining mikrodasturi AMS tilida quyidagicha ifodalanadi:
н
б
у
у
у
р
у
у
р
р
у
у
р
у
у
р
y
6
8
5
7
7
6
4
6
4
5
5
3
4
2
3
4
2
3
3
2
2
7
2
1
1
1
Y
1
Y
2
Y
3
Y
4
Y
5
Y
6
Y
7
Y
8
Y
9
y
b
R
1
R
1
Y
1
Y
2
R
2
R
2
Y
3
3
2
р
р
R
2
3
2
р
р
Y
4
3
2
р
р
R
2
Y
5
1
Y
6
4
р
R
4
Y
7
R
2
2
р
Y
8
1
AGS ga mos algoritmning matritsa sxemasi
kvadrat matritsadan iborat
bo‘lib, uning qatorlari u
b
, u
1
, …., u
n
(n – operator uchlarining soni), ustunlari esa
u
1
, u
2
, …, u
n
, un simvollar bilan belgilangan. Bu matritsa u
i
qator
bilan u
j
ustunning
kesishgan joyida u
i
operatordan u
j
operatorga o‘tish funksiyasi
ij
mavjud. Bo‘lish
amali mikrodasturining matritsa sxemasi jadvalda keltirilgan. Yuqorida ko‘rilgan
mikrodasturlarni tavsiflovchi tillar ekvivalent bo‘lib, bir-biriga o‘tishi mumkin.