RGY
bo‘linma
SM
Bo‘luvchi qoldiq
RGX
bo‘luvchi
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).
Do'stlaringiz bilan baham: |