C o m p o und Struc ture
•
De finisi
: Sua tu Pro g ra m ya ng te rstruktur a d a la h sua tu c o mp o und p ro g ra m ya ng d isusun d a ri sua tu fixe d b a sis se t d a ri b e b e ra p a p rime
p ro g ra m
4.4.3
Te o re m a Struktur
•
Te o re m a Struktur
: Pro p e r Pro g ra m a p a p un a d a la h func tio n e q uiva le nt d e ng a n sua tu p ro g ra m ya ng te rstruktur d e ng a n b a sis se t {se q ue nc e ,
ifthe ne lse , while d o }, p e ng g una a n fung si-fung si d a n p re d ika t d a ri p ro g ra m a sli d a n a ssig nme nt-a ssig nme nt se rta te st p a d a sa tu ‘ a d d itio na l
c o unte r
’
•
Pe rtimb a ng ka n titik fung si
h
i
j
ma ka ko nstruksi ya ng b a ru a d a la h
h
i
g
i
= L := j
•
Pe ng ikuta n e kse kusi fung si h, p ro g ra m ini me me b rika n nila i j ke sua tu na ma va ria b e l b a ri L se b a g a i “ Pro g ra m C o unte r” ya ng tid a k te rd a p a t
p a d a p ro g ra m a sli
•
Pe rtimb a ng ka n untuk titik p re d ic a te
j
p
k i
ma ka ko nstruksi ya ng b a ru a d a la h
j
p
k i
g
i
= L := j
L := k
•
Pe rtimb a ng ka n flo wc ha rt d ib a wa h ini
f
p
1
f p
1
1 2
3
4
De ng a n p e nstruktura n d id a p a tka n b e ntuk sb b
p
1
L := 2
L := 3
e
L := 0
q
3
L := 0
L := 4
h
L := 1
4 2
g
4
= g
3
= g
2
= g
1
=
p 1
L := 2 L := 3
e L := 0
q 3
L := 0 L := 4
h L := 1
l L = 4
4 L = 3
L= 2 L = 1
L 0 2
L := 1
4.4.4
Re c ursi Pro g ra m - p ro g ra m Te rstruktur
•
Pe mo g ra ma n d e ng a n c a ra me ne ra p ka n te o re ma struktur a ka n me ng a la mi b e b e ra p a ke nd a la d ia nta ra nya a d a la h e ffisie nsi d a n
ke je la sa n
•
Sua tu b e ntuk id e ya ng d ila kuka n untuk me ng ura ng i ha l itu a d a la h d e ng a n me ng e limid a si ‘ p ro g ra m c o unte r’ ya ng d ira sa tid a k p e rlu ini, ha l
d ise b ut ‘ re c ursio n struc ture d p ro g ra m’
•
Pe rtimb a ng ka n flo wc ha rt ya ng d iha silka n d a ri te o re ma struktur
p 1
L := 2 L := 3
e L := 0
q 3
L := 0 L := 4
h L := 1
l L = 4
4 L = 3
L= 2 L = 1
L 0 2
L := 1
d e ng a n me ng e limina si ‘ L := 4’ d id a p a tka n
p 1
L := 2 L := 3
e L := 0
q 3
L := 0 h
L := 1 l
L = 3 L= 2
L = 1 L 0
2 L := 1
d e ng a n me ng e limina si ‘ L := 3’ d id a p a tka n
p 1
L := 2 e
L := 0 q
L := 0 h
L := 1 l
L= 2 L = 1
L 0 2
L := 1
d e ng a n me ng e limina si ‘ L := 2’ d id a p a tka n
p 1
e L := 0
q L := 0
h L := 1
l L = 1
L 0 L := 1
p a d a a khirnya d id a p a tka n
p e
L := 0
q
L := 0
h
L 0 L := 1