s strt - - PowerPoint PPT Presentation

❈▼❛ ⑤ s✐♠♣❧❡ ❈ ❆❜str❛❝t ▼❛❝❤✐♥❡

❈▼❛ ❛r❝❤✐t❡❝t✉r❡

❆♥ ❛❜str❛❝t ♠❛❝❤✐♥❡ ❤❛s s❡t ♦❢ ✐♥str✉❝t✐♦♥s ✇❤✐❝❤ ❝❛♥ ❜❡ ❡①❡❝✉t❡❞ ✐♥ ❛♥ ❛❜str❛❝t ❤❛r❞✇❛r❡✳ ❚❤❡ ❛❜str❛❝t ❤❛r❞✇❛r❡ ♠❛② ❜❡ s❡❡♥ ❛s ❛ ❝♦❧❧❡❝t✐♦♥ ♦❢ ❝❡rt❛✐♥ ❞❛t❛ str✉❝t✉r❡s ✉s❡❞ ❜② ✐♥str✉❝t✐♦♥s ✳ ✳ ✳ ❛♥❞ ❝♦♥tr♦❧❧❡❞ ❜② t❤❡ r✉♥✲t✐♠❡ s②st❡♠✳

❈▼❛ ❛r❝❤✐t❡❝t✉r❡

❙t❛❝❦✿

❙P

✶ ✵

❙ ❙ ❂ ❙t❛❝❦ ⑤ ♠❡♠♦r② ❛r❡❛ ❢♦r ❞❛t❛ ✇❤❡r❡ ✐♥s❡rt✐♦♥ ❛♥❞ ❞❡❧❡t✐♦♥ ♦❢ ✐t❡♠s ✉s❡s ▲■❋❖ ♣r✐♥❝✐♣❧❡✳ ❙P ❂ ❙t❛❝❦✲P♦✐♥t❡r ⑤ r❡❣✐st❡r ❝♦♥t❛✐♥✐♥❣ ❛♥ ❛❞❞r❡ss ♦❢ t❤❡ t♦♣♠♦st ✐t❡♠✳ ❙✐♠♣❧✐☞❝❛t✐♦♥✿ ❛❧❧ ♥♦♥✲str✉❝t✉r❛❧ ✈❛❧✉❡s ❛r❡ ♦❢ t❤❡ s❛♠❡ s✐③❡ ❛♥❞ ☞t ✐♥t♦ ❛ s✐♥❣❧❡ ❝❡❧❧ ♦❢ t❤❡ st❛❝❦✳

❈▼❛ ❛r❝❤✐t❡❝t✉r❡

❈♦❞❡✿

P❈

✶ ✵

❈ ❈ ❂ ❈♦❞❡✲st♦r❡ ⑤ ♠❡♠♦r② ❛r❡❛ ❢♦r ❛ ♣r♦❣r❛♠ ❝♦❞❡❀ ❡❛❝❤ ❝❡❧❧ ❝♦♥t❛✐♥s ❛ s✐♥❣❧❡ ❆▼ ✐♥str✉❝t✐♦♥✳ P❈ ❂ Pr♦❣r❛♠ ❈♦✉♥t❡r ⑤ r❡❣✐st❡r ❝♦♥t❛✐♥✐♥❣ ❛♥ ❛❞❞r❡ss ♦❢ t❤❡ ✐♥str✉❝t✐♦♥ t♦ ❜❡ ❡①❡❝✉t❡❞ ♥❡①t✳ ■♥✐t✐❛❧❧②✱ P❈ ❝♦♥t❛✐♥s t❤❡ ❛❞❞r❡ss ✵❀ ✐❡✳ ❈❬✵❪ ❝♦♥t❛✐♥s t❤❡ ☞rst ✐♥str✉❝t✐♦♥ ♦❢ t❤❡ ♣r♦❣r❛♠✳

❈▼❛ ❛r❝❤✐t❡❝t✉r❡

❊①❡❝✉t✐♦♥ ♦❢ t❤❡ ♣r♦❣r❛♠✿

▼❛❝❤✐♥❡ ❧♦❛❞s ❛♥ ✐♥str✉❝t✐♦♥ ❛t ❈❬P❈❪ t♦ t❤❡ r❡❣✐st❡r ■❘ ✭■♥str✉❝t✐♦♥✲❘❡❣✐st❡r✮✱ t❤❡♥ ✐♥❝r❡♠❡♥ts t❤❡ ♣r♦❣r❛♠ ❝♦✉♥t❡r P❈✱ ❛♥❞ ☞♥❛❧❧② ❡①❡❝✉t❡s t❤❡ ✐♥str✉❝t✐♦♥✿

while (true) { IR = C[PC]; PC++; execute (IR); }

❊①❡❝✉t✐♦♥ ♦❢ ❛♥ ✐♥str✉❝t✐♦♥ ✭❡❣✳ ❥✉♠♣✮ ♠❛② ❝❤❛♥❣❡ t❤❡ ❝♦♥✲ t❡♥ts ♦❢ t❤❡ ♣r♦❣r❛♠ ❝♦✉♥t❡r P❈✳ ❚❤❡ ♠❛✐♥ ❧♦♦♣ ♦❢ t❤❡ ♠❛❝❤✐♥❡ ✐s st♦♣♣❡❞ ❜② t❤❡ ✐♥str✉❝t✐♦♥ halt✱ ✇❤✐❝❤ r❡t✉r♥s t❤❡ ❝♦♥tr♦❧ ❜❛❝❦ t♦ t❤❡ ❡♥✈✐r♦♥♠❡♥t✳ ❲❡ ✇✐❧❧ ✐♥tr♦❞✉❝❡ t❤❡ r❡st ♦❢ t❤❡ ✐♥str✉❝t✐♦♥s st❡♣ ❜② st❡♣ ❛s ♥❡❝❡ss❛r②✳

❙✐♠♣❧❡ ❡①♣r❡ss✐♦♥s ❛♥❞ ❛ss✐❣♥♠❡♥t

Pr♦❜❧❡♠✿ ❡✈❛❧✉❛t❡ ❛♥ ❡①♣r❡ss✐♦♥ ❧✐❦❡ ✭✻ ✰ ✷✮ ✄ ✹ ✶❀ ✐✳❡✳ ❣❡♥❡r❛t❡ ❛ s❡q✉❡♥❝❡ ♦❢ ✐♥str✉❝t✐♦♥s ✇❤✐❝❤ ☞♥❞s t❤❡ ✈❛❧✉❡ ♦❢ t❤❡ ❡①♣r❡ss✐♦♥✱ ❛♥❞ ♣✉s❤❡s ✐t t♦ t♦♣ ♦❢ t❤❡ st❛❝❦✳ ■❞❡❛✿ ☞rst ❡✈❛❧✉❛t❡ s✉❜❡①♣r❡ss✐♦♥s✱ s❛✈❡ t❤❡s❡ ✈❛❧✉❡s t♦ t♦♣ ♦❢ t❤❡ st❛❝❦✱ ❛♥❞ ❡①❡❝✉t❡ ❛♥ ✐♥str✉❝t✐♦♥ ❝♦rr❡s♣♦♥❞✐♥❣ t♦ t❤❡ ♦♣❡r❛t♦r✳

❙✐♠♣❧❡ ❡①♣r❡ss✐♦♥s ❛♥❞ ❛ss✐❣♥♠❡♥t

• ❡♥❡r❛❧ ♣r✐♥❝✐♣❧❡s✿

✐♥str✉❝t✐♦♥s ❛ss✉♠❡ ❛r❣✉♠❡♥ts t♦ ❜❡ ✐♥ t♦♣♠♦st ❝❡❧❧s ♦❢ t❤❡ st❛❝❦✱ ❛♥ ❡①❡❝✉t✐♦♥ ♦❢ t❤❡ ✐♥str✉❝t✐♦♥ ❝♦♥s✉♠❡s ✐ts ❛r❣✉♠❡♥ts✱ t❤❡ r❡s✉❧t ✐s s❛✈❡❞ ✐♥ t♦♣ ♦❢ t❤❡ st❛❝❦✳ ❧♦❛❞❝ q q

SP++; S[SP] = q;

■♥str✉❝t✐♦♥ loadc q ❞♦❡s♥✬t ❤❛✈❡ ❛r❣✉♠❡♥ts ❛♥❞ ♣✉s❤❡s t❤❡ ❝♦♥✲ st❛♥t q t♦ t♦♣ ♦❢ t❤❡ st❛❝❦✳ ◆❇✦ ■♥ ♣✐❝t✉r❡s✱ t❤❡ ❝♦♥t❡♥ts ♦❢ ❙P ✐s r❡♣r❡s❡♥t❡❞ ✐♠♣❧✐❝✐t❧② ❜② t❤❡ ❤❡✐❣❤t ♦❢ t❤❡ st❛❝❦✳

❙✐♠♣❧❡ ❡①♣r❡ss✐♦♥s ❛♥❞ ❛ss✐❣♥♠❡♥t

♠✉❧ ✷✶ ✼ ✸

SP--; S[SP] = S[SP] ✄ S[SP+1];

❚❤❡ ✐♥str✉❝t✐♦♥ mul ❛ss✉♠❡s t✇♦ ❛r❣✉♠❡♥ts ✐♥ t❤❡ st❛❝❦✱ ❝♦♥✲ s✉♠❡s t❤❡♠✱ ❛♥❞ ♣✉s❤❡s t❤❡✐r ♣r♦❞✉❝t t♦ t♦♣ ♦❢ t❤❡ st❛❝❦ ■♥str✉❝t✐♦♥s ❝♦rr❡s♣♦♥❞✐♥❣ t♦ ♦t❤❡r ❛r✐t❤♠❡t✐❝ ❛♥❞ ❧♦❣✐❝ ♦♣❡r❛t♦rs add✱ sub✱ div✱ mod✱ and✱ or✱ xor✱ eq✱ neq✱ le✱ leq✱ ge ❛♥❞ geq ✇♦r❦ ❛♥❛❧♦❣♦✉s❧②✳

❙✐♠♣❧❡ ❡①♣r❡ss✐♦♥s ❛♥❞ ❛ss✐❣♥♠❡♥t

❊①❛♠♣❧❡✿ ♦♣❡r❛t♦r leq ❧❡q ✶ ✸ ✼ ◆❇✦ ❚❤❡ ✐♥t❡❣❡r ✵ r❡♣r❡s❡♥ts t❤❡ ❜♦♦❧❡❛♥ ✧❢❛❧s❡✧❀ ❛❧❧ ♦t❤❡r ✐♥t❡❣❡rs r❡♣r❡s❡♥t ✧tr✉❡✧✳

❙✐♠♣❧❡ ❡①♣r❡ss✐♦♥s ❛♥❞ ❛ss✐❣♥♠❡♥t

❯♥❛r② ♦♣❡r❛t♦rs neg ❛♥❞ not ❝♦♥s✉♠❡ ♦♥❡ ❛r❣✉♠❡♥t ❛♥❞ ♣r♦❞✉❝❡ ❛ s✐♥❣❧❡ r❡s✉❧t ✈❛❧✉❡✿ ♥❡❣ ✲✼ ✼

S[SP] = -S[SP];

♥♦t ✵ ✸

if (S[SP] ✻❂ 0) S[SP] = 0; else S[SP] = 1;

❙✐♠♣❧❡ ❡①♣r❡ss✐♦♥s ❛♥❞ ❛ss✐❣♥♠❡♥t

❊①❛♠♣❧❡✿ ❝♦❞❡ ❢♦r t❤❡ ❡①♣r❡ss✐♦♥ ✶ ✰ ✼✿ loadc 1 loadc 7 add ❊①❡❝✉t✐♦♥ ♦❢ t❤❡ ❝♦❞❡ r❡s✉❧ts✿ ❧♦❛❞❝ ✶ ❧♦❛❞❝ ✼ ❛❞❞ ✶ ✶ ✼ ✽

❙✐♠♣❧❡ ❡①♣r❡ss✐♦♥s ❛♥❞ ❛ss✐❣♥♠❡♥t

❱❛r✐❛❜❧❡s ❝♦rr❡s♣♦♥❞ t♦ ❝❡❧❧s ♦❢ t❤❡ st❛❝❦ ❙✿

①✿ ②✿

❈♦❞❡ ❣❡♥❡r❛t✐♦♥ ✐s s♣❡❝✐☞❡❞ ✐♥ t❡r♠s ♦❢ ❢✉♥❝t✐♦♥s ❝♦❞❡✱ ❝♦❞❡▲ ❛♥❞ ❝♦❞❡❘✳ P❛r❛♠❡t❡rs✿ ❛ s②♥t❛❝t✐❝ ❝♦♥str✉❝t✐♦♥ t♦ ❜❡ ❝♦♠♣✐❧❡❞ ❛♥❞ ❛♥ ❛❞❞r❡ss ❡♥✈✐r♦♥♠❡♥t ✭✐❡✳ ❛ ❢✉♥❝t✐♦♥ ♠❛♣♣✐♥❣ ✈❛r✐❛❜❧❡s t♦ t❤❡✐r r❡❧❛t✐✈❡ ❛❞❞r❡ss❡s ✐♥ t❤❡ st❛❝❦✮✳

❙✐♠♣❧❡ ❡①♣r❡ss✐♦♥s ❛♥❞ ❛ss✐❣♥♠❡♥t

❱❛r✐❛❜❧❡s ❛r❡ ✉s❡❞ ✐♥ t✇♦ ❞✐☛❡r❡♥t ✇❛②s✳ ❋♦r ✐♥st❛♥❝❡✱ ✐♥ t❤❡ ❛ss✐❣♥♠❡♥t ① ❂ ②✰✶ ✇❡ ❛r❡ ✐♥t❡r❡st❡❞ ♦❢ t❤❡ ✈❛❧✉❡ ♦❢ t❤❡ ✈❛r✐❛❜❧❡ ②✱ ❜✉t ♦❢ t❤❡ ❛❞❞r❡ss ♦❢ t❤❡ ✈❛r✐❛❜❧❡ ①✳ ❚❤❡ s②♥t❛❝t✐❝ ♣❧❛❝❡♠❡♥t ♦❢ ❛ ✈❛r✐❛❜❧❡ ❞❡t❡r♠✐♥❡s ✇❤❡t❤❡r ✇❡ ♥❡❡❞ ✐ts ▲✲✈❛❧✉❡ ♦r ❘✲✈❛❧✉❡✳ ▲✲✈❛❧✉❡ ♦❢ ❛ ✈❛r✐❛❜❧❡ ❂ ✐ts ❛❞❞r❡ss ❘✲✈❛❧✉❡ ♦❢ ❛ ✈❛r✐❛❜❧❡ ❂ ✐ts ✧r❡❛❧✧ ✈❛❧✉❡ ❋✉♥❝t✐♦♥ ❝♦❞❡▲ ❡ ✚ ❡♠✐ts ❛ ❝♦❞❡ ❝♦♠♣✉t✐♥❣ ❛ ▲✲✈❛❧✉❡ ♦❢ t❤❡ ❡①♣r❡ss✐♦♥ ❡ ✐♥ t❤❡ ❡♥✈✐r♦♥♠❡♥t ✚✳ ❋✉♥❝t✐♦♥ ❝♦❞❡❘ ❡ ✚ ❞♦❡s t❤❡ s❛♠❡ ❢♦r t❤❡ ❘✲✈❛❧✉❡✳ ◆❇✦ ◆♦t ❡✈❡r② ❡①♣r❡ss✐♦♥ ❤❛s ❛ ▲✲✈❛❧✉❡ ✭❡❣✳✿ ① ✰ ✶✮✳

❙✐♠♣❧❡ ❡①♣r❡ss✐♦♥s ❛♥❞ ❛ss✐❣♥♠❡♥t

❈♦♠♣✐❧❛t✐♦♥ ♦❢ ❜✐♥❛r② ♦♣❡r❛t♦rs✿ ❝♦❞❡❘ ✭❡✶ ✰ ❡✷✮ ✚ ❂ ❝♦❞❡❘ ❡✶ ✚ ❝♦❞❡❘ ❡✷ ✚ add ④ ❙✐♠✐❧❛r❧② ❢♦r ♦t❤❡r ❜✐♥❛r② ♦♣❡r❛t♦rs✳ ❈♦♠♣✐❧❛t✐♦♥ ♦❢ ✉♥❛r② ♦♣❡r❛t♦rs✿ ❝♦❞❡❘ ✭❡✮ ✚ ❂ ❝♦❞❡❘ ❡ ✚ neg ④ ❙✐♠✐❧❛r❧② ❢♦r ♦t❤❡r ✉♥❛r② ♦♣❡r❛t♦rs✳ ❈♦♠♣✐❧❛t✐♦♥ ♦❢ ♣r✐♠✐t✐✈❡ ❝♦♥st❛♥t ✈❛❧✉❡s✿ ❝♦❞❡❘ q ✚ ❂ loadc q

❙✐♠♣❧❡ ❡①♣r❡ss✐♦♥s ❛♥❞ ❛ss✐❣♥♠❡♥t

❈♦♠♣✐❧❛t✐♦♥ ♦❢ ✈❛r✐❛❜❧❡s✿ ❝♦❞❡▲ ① ✚ ❂ loadc ✭✚ ①✮ ❝♦❞❡❘ ① ✚ ❂ ❝♦❞❡▲ ① ✚ load ❈♦♠♣✐❧❛t✐♦♥ ♦❢ ❛ss✐❣♥♠❡♥t ❡①♣r❡ss✐♦♥s✿ ❝♦❞❡❘ ✭① ❂ ❡✮ ✚ ❂ ❝♦❞❡❘ ❡ ✚ ❝♦❞❡▲ ① ✚ store

❙✐♠♣❧❡ ❡①♣r❡ss✐♦♥s ❛♥❞ ❛ss✐❣♥♠❡♥t

■♥str✉❝t✐♦♥ load ❝♦♣✐❡s t❤❡ ❝♦♥t❡♥ts ♦❢ t❤❡ st❛❝❦ ❝❡❧❧ ♣♦✐♥t❡❞ ❜② t❤❡ ❛r❣✉♠❡♥t t♦ t♦♣ ♦❢ t❤❡ st❛❝❦✿ ❧♦❛❞ ✼ ✼ ✼

S[SP] = S[S[SP]];

❙✐♠♣❧❡ ❡①♣r❡ss✐♦♥s ❛♥❞ ❛ss✐❣♥♠❡♥t

■♥str✉❝t✐♦♥ store s❛✈❡s t❤❡ ❝♦♥t❡♥ts ♦❢ t❤❡ s❡❝♦♥❞ ❝❡❧❧ t♦ t❤❡ st❛❝❦ ❝❡❧❧ ♣♦✐♥t❡❞ ❜② t❤❡ t♦♣♠♦st ❝❡❧❧✱ ❜✉t ❧❡❛✈❡s t❤❡ s❡❝♦♥❞ ❝❡❧❧ t♦ t♦♣ ♦❢ t❤❡ st❛❝❦✿ st♦r❡ ✼ ✼ ✼

S[S[SP]] = S[SP-1]; SP--;

◆❇✦ ❉✐☛❡rs ❢r♦♠ t❤❡ ❛♥❛❧♦❣♦✉s P✲♠❛❝❤✐♥❡ ✐♥str✉❝t✐♦♥ ✐♥ t❤❡ ❲✐❧❤❡❧♠✴▼❛✉r❡r ❜♦♦❦✳

❙✐♠♣❧❡ ❡①♣r❡ss✐♦♥s ❛♥❞ ❛ss✐❣♥♠❡♥t

❊①❛♠♣❧❡✿ ❧❡t ❡ ✑ ✭① ❂ ② ✶✮ ❛♥❞ ✚ ❂ ❢① ✼✦ ✹❀ ② ✼✦ ✼❣✱ t❤❡♥ ❝♦❞❡❘ ❡ ✚ ❡♠✐ts t❤❡ ❝♦❞❡✿ loadc 7 load loadc 1 sub loadc 4 store ❖♣t✐♠✐③❛t✐♦♥✿ ✐♥tr♦❞✉❝❡ s♣❡❝✐❛❧ ✐♥str✉❝t✐♦♥s ❢♦r ❢r❡q✉❡♥t❧② ♦❝❝✉rr✐♥❣ ❝♦♠❜✐♥❛t✐♦♥s ♦❢ ✐♥str✉❝t✐♦♥s✱ ❡✳❣✳✿ loada q ❂ loadc q load storea q ❂ loadc q store

❙t❛t❡♠❡♥ts ❛♥❞ t❤❡✐r s❡q✉❡♥❝❡s

■❢ ❡ ✐s ❛♥ ❡①♣r❡ss✐♦♥✱ t❤❡♥ ❡❀ ✐s ❛ st❛t❡♠❡♥t✳ ❆ st❛t❡♠❡♥t ❞♦❡s♥✬t ❤❛✈❡ ❛♥② ❛r❣✉♠❡♥ts✱ ♥♦r ❤❛✈❡ ❛ ✈❛❧✉❡✳ ❍❡♥❝❡✱ t❤❡ ❝♦♥t❡♥ts ♦❢ t❤❡ r❡❣✐st❡r ❙P ♠✉st r❡♠❛✐♥ ✉♥✲ ❝❤❛♥❣❡❞ ❛❢t❡r t❤❡ ❡①❡❝✉t✐♦♥ ♦❢ t❤❡ ❝♦❞❡ ❝♦rr❡s♣♦♥❞✐♥❣ t♦ t❤❡ st❛t❡♠❡♥t✳ ❝♦❞❡ ✭❡❀ ✮ ✚ ❂ ❝♦❞❡❘ ❡ ✚ pop ❝♦❞❡ ✭s ss✮ ✚ ❂ ❝♦❞❡ s ✚ ❝♦❞❡ ss ✚ ❝♦❞❡ ✧ ✚ ❂ ✴✴ ❡♠♣t② s❡q✉❡♥❝❡ ■♥str✉❝t✐♦♥ pop r❡♠♦✈❡s t❤❡ t♦♣♠♦st st❛❝❦ ❝❡❧❧✿ ♣♦♣ ✼

SP--;

❈♦♥❞✐t✐♦♥❛❧ st❛t❡♠❡♥ts ❛♥❞ ❧♦♦♣s

❋♦r s✐♠♣❧✐❝✐t②✱ ✇❡ ✉s❡ s②♠❜♦❧✐❝ ❧❛❜❡❧s ❛s t❛r❣❡ts ♦❢ ❥✉♠♣s✱ ✇❤✐❝❤ ❧❛t❡r ❛r❡ r❡♣❧❛❝❡❞ ❜② ❛❜s♦❧✉t❡ ❛❞❞r❡ss❡s✳ ■♥st❡❛❞ ♦❢ ❛❜s♦❧✉t❡ ❛❞❞r❡ss❡s ✇❡ ❝♦✉❧❞ ✉s❡ r❡❧❛t✐✈❡ ❛❞❞r❡ss❡s❀ ✐✳❡✳ r❡❧❛t✐✈❡ ✇✳r✳t✳ t❤❡ ❛❝t✉❛❧ ✈❛❧✉❡ ♦❢ P❈✳ ❆❞✈❛♥t❛❣❡s ♦❢ t❤❡ ❧❛st ❛♣♣r♦❛❝❤ ❛r❡✿ ④ ✐♥ ❣❡♥❡r❛❧✱ r❡❧❛t✐✈❡ ❛❞❞r❡ss❡s ❛r❡ s♠❛❧❧❡r❀ ④ t❤❡ ❝♦❞❡ ✐s r❡❧♦❝❛t❛❜❧❡✳

❈♦♥❞✐t✐♦♥❛❧ st❛t❡♠❡♥ts ❛♥❞ ❧♦♦♣s

■♥str✉❝t✐♦♥ jump A ♣❡r❢♦r♠s ❛♥ ✉♥❝♦♥❞✐t✐♦♥❛❧ ❥✉♠♣ t♦ t❤❡ ❛❞❞r❡ss ❆❀ t❤❡ st❛❝❦ ❞♦❡s♥✬t ❝❤❛♥❣❡✿ ❥✉♠♣ ❆ P❈ P❈ ❆

PC = A;

❈♦♥❞✐t✐♦♥❛❧ st❛t❡♠❡♥ts ❛♥❞ ❧♦♦♣s

■♥str✉❝t✐♦♥ jumpz A ♣❡r❢♦r♠s ❛ ❝♦♥❞✐t✐♦♥❛❧ ❥✉♠♣❀ ✐t ❥✉♠♣s t♦ t❤❡ ❛❞❞r❡ss ❆ ♦♥❧② ✐❢ t❤❡ t♦♣♠♦st st❛❝❦ ❝❡❧❧ ❝♦♥t❛✐♥s ✵✿ ❥✉♠♣③ ❆ P❈ P❈ ❥✉♠♣③ ❆ P❈ P❈ ✵ ❆ ✸

if (S[SP] ❂ 0) PC = A; SP--;

❈♦♥❞✐t✐♦♥❛❧ st❛t❡♠❡♥ts ❛♥❞ ❧♦♦♣s

❈♦♠♣✐❧❛t✐♦♥ ♦❢ ✐❢✲st❛t❡♠❡♥ts s ✑ if ✭❡✮ s✶✿ ❣❡♥❡r❛t❡ ❛ ❝♦❞❡ ❢♦r t❤❡ ❝♦♥❞✐t✐♦♥ ❡ ❛♥❞ st❛t❡♠❡♥t s✶❀ ✐♥s❡rt t❤❡ ❝♦♥❞✐t✐♦♥❛❧ ❥✉♠♣ ✐♥str✉❝t✐♦♥ ✐♥ ❜❡t✇❡❡♥✳ ❝♦❞❡ ✭if ✭❡✮ s✶✮ ✚ ❂ ❝♦❞❡❘ ❡ ✚ jumpz A ❝♦❞❡ s✶ ✚ ❆✿ ✳ ✳ ✳ ❥✉♠♣③ ❝♦❞❡❘ ❢♦r ❡ ❝♦❞❡ ❢♦r s✶

❈♦♥❞✐t✐♦♥❛❧ st❛t❡♠❡♥ts ❛♥❞ ❧♦♦♣s

❈♦♠♣✐❧❛t✐♦♥ ♦❢ ✐❢✲❡❧s❡✲st❛t❡♠❡♥ts s ✑ if ✭❡✮ s✶ else s✷✿ ❝♦❞❡ ✭if ✭❡✮ s✶ else s✷✮ ✚ ❂ ❝♦❞❡❘ ❡ ✚ jumpz A ❝♦❞❡ s✶ ✚ jump B ❆✿ ❝♦❞❡ s✷ ✚ ❇✿ ✳ ✳ ✳ ❥✉♠♣③ ❥✉♠♣ ❝♦❞❡❘ ❢♦r ❡ ❝♦❞❡ ❢♦r s✶ ❝♦❞❡ ❢♦r s✷

❈♦♥❞✐t✐♦♥❛❧ st❛t❡♠❡♥ts ❛♥❞ ❧♦♦♣s

❊①❛♠♣❧❡✿ ❧❡t ✚ ❂ ❢① ✼✦ ✹❀ ② ✼✦ ✼❣ ❛♥❞ s ✑ if ✭① ❃ ②✮ ✭✐✮ ① ❂ ① ②❀ ✭✐✐✮ else ② ❂ ② ①❀ ✭✐✐✐✮ t❤❡♥ ❝♦❞❡ s ✚ ❡♠✐ts ❛ ❝♦❞❡✿ loada 4 loada 7 ge jumpz A ✭✐✮ loada 4 loada 7 sub storea 4 pop jump B ✭✐✐✮ ❆✿ loada 7 loada 4 sub storea 7 pop ❇✿ ✳ ✳ ✳ ✭✐✐✐✮

❈♦♥❞✐t✐♦♥❛❧ st❛t❡♠❡♥ts ❛♥❞ ❧♦♦♣s

❈♦♠♣✐❧❛t✐♦♥ ♦❢ ✇❤✐❧❡✲❧♦♦♣s s ✑ while ✭❡✮ s✶✿ ❝♦❞❡ ✭while ✭❡✮ s✶✮ ✚ ❂ ❆✿ ❝♦❞❡❘ ❡ ✚ jumpz B ❝♦❞❡ s✶ ✚ jump A ❇✿ ✳ ✳ ✳ ❥✉♠♣③ ❥✉♠♣ ❝♦❞❡❘ ❢♦r ❡ ❝♦❞❡ ❢♦r s✶

❈♦♥❞✐t✐♦♥❛❧ st❛t❡♠❡♥ts ❛♥❞ ❧♦♦♣s

❊①❛♠♣❧❡✿ ❧❡t ✚ ❂ ❢❛ ✼✦ ✼❀ ❜ ✼✦ ✽❀ ❝ ✼✦ ✾❣ ❛♥❞ s ✑ while ✭❛ ❃ ✵✮ ❢ ✭✐✮ ❝ ❂ ❝ ✰ ✶❀ ✭✐✐✮ ❛ ❂ ❛ ❜❀ ✭✐✐✐✮ ❣ t❤❡♥ ❝♦❞❡ s ✚ ❡♠✐ts ❛ ❝♦❞❡✿ ❆✿ loada 7 loadc 0 ge jumpz B ✭✐✮ loada 9 loadc 1 add storea 9 pop ✭✐✐✮ loada 7 loada 8 sub storea 7 pop ✭✐✐✐✮ jump A ❇✿ ✳ ✳ ✳

❈♦♥❞✐t✐♦♥❛❧ st❛t❡♠❡♥ts ❛♥❞ ❧♦♦♣s

❆ ❢♦r✲❧♦♦♣ s ✑ for ✭❡✶❀ ❡✷❀ ❡✸✮ s✶ ✐s ❡q✉✐✈❛❧❡♥t ✇✐t❤ t❤❡ ✇❤✐❧❡✲❧♦♦♣ ❡✶❀ while ✭❡✷✮ ❢s✶ ❡✸❀ ❣ ✭❛ss✉♠✐♥❣✱ t❤❛t s✶ ❞♦❡s♥✬t ❝♦♥t❛✐♥ ❛♥② ❝♦♥t✐♥✉❡✲st❛t❡♠❡♥ts✮ ❝♦❞❡ ✭for ✭❡✶❀ ❡✷❀ ❡✸✮ s✶✮ ✚ ❂ ❝♦❞❡❘ ❡✶ ✚ pop ❆✿ ❝♦❞❡❘ ❡✷ ✚ jumpz B ❝♦❞❡ s✶ ✚ ❝♦❞❡❘ ❡✸ ✚ pop jump A ❇✿ ✳ ✳ ✳

❈♦♥❞✐t✐♦♥❛❧ st❛t❡♠❡♥ts ❛♥❞ ❧♦♦♣s

■♥ ❣❡♥❡r❛❧✱ s✇✐t❝❤✲st❛t❡♠❡♥ts s❤♦✉❧❞ ❜❡ tr❛♥s❧❛t❡❞ ✐♥t♦ ♥❡st❡❞ ✐❢✲st❛t❡♠❡♥ts✿ switch ✭❡✮ ❢ case ❝✵ ✿ ss✵ break❀ case ❝✶ ✿ ss✶ break❀ ✳ ✳ ✳ case ❝❦✶✿ ss❦✶ break❀ default ✿ ss❦ ❣ ❂ ✮ ① ❂ ❡❀ if ✭① == ❝✵✮ ss✵ else if ✭① == ❝✶✮ ss✶ ✳ ✳ ✳ else if ✭① == ❝❦✶✮ ss❦✶ else ss❦ ❇② s♦rt✐♥❣ t❤❡ ❧❛❜❡❧s ❛♥❞ ✉s✐♥❣ ❜✐♥❛r② s❡❛r❝❤✱ ✐t✬s ♣♦ss✐❜❧❡ t♦ ❞❡❝r❡❛s❡ t❤❡ ♥✉♠❜❡r ♦❢ ❝♦♠♣❛r✐s♦♥s t♦ t❤❡ ❧♦❣❛r✐t❤♠ ♦❢ t❤❡ ♥✉♠❜❡r ♦❢ ❧❛❜❡❧s✳

❈♦♥❞✐t✐♦♥❛❧ st❛t❡♠❡♥ts ❛♥❞ ❧♦♦♣s

■♥ s♣❡❝✐☞❝ ❝❛s❡s ✐t✬s ♣♦ss✐❜❧❡ t♦ ❤❛✈❡ ❛ ❝♦♥st❛♥t t✐♠❡ ❜r❛♥❝❤✐♥❣✳ ❈♦♥s✐❞❡r ❛ s✇✐t❝❤✲st❛t❡♠❡♥t ✐♥ t❤❡ ❢♦r♠✿ s ✑ switch ✭❡✮ ❢ case ✵ ✿ ss✵ break❀ case ✶ ✿ ss✶ break❀ ✳ ✳ ✳ case ❦✶ ✿ ss❦✶ break❀ default ✿ ss❦ ❣

❈♦♥❞✐t✐♦♥❛❧ st❛t❡♠❡♥ts ❛♥❞ ❧♦♦♣s

❝♦❞❡ s ✚ ❂ ❝♦❞❡❘ ❡ ✚ ❝❤❡❝❦ ✵ ❦ ❇ ❈✵✿ ❝♦❞❡ ss✵ ✚ jump D ✳ ✳ ✳ ❈❦✿ ❝♦❞❡ ss❦ ✚ jump D ❇✿ jump C✵ ✳ ✳ ✳ jump C❦ ❉✿ ✳ ✳ ✳ ▼❛❝r♦ ❝❤❡❝❦ ✵ ❦ ❇ t❡sts ✇❤❡t❤❡r t❤❡ ❘✲✈❛❧✉❡ ♦❢ t❤❡ ❝♦♥❞✐t✐♦♥ ✐s ✐♥ ❜❡t✇❡❡♥ ❬✵❀ ❦❪✱ ❛♥❞ t❤❡♥ ♣❡r❢♦r♠s ❛♥ ✐♥❞❡①❡❞ ❥✉♠♣✳ ❆♥ ✐✲t❤ ❡❧❡♠❡♥t ♦❢ t❤❡ ✧❥✉♠♣ t❛❜❧❡✧ ❇ ❝♦♥t❛✐♥s ❛ ✉♥❝♦♥❞✐✲ t✐♦♥❛❧ ❥✉♠♣ ✐♥str✉❝t✐♦♥ t♦ t❤❡ ❜❡❣✐♥♥✐♥❣ ♦❢ t❤❡ ❝♦❞❡ ❝♦rr❡✲ s♣♦♥❞✐♥❣ t♦ t❤❡ ✐✲t❤ ❜r❛♥❝❤✳ ❊❛❝❤ ❜r❛♥❝❤ ❡♥❞s ✇✐t❤ t❤❡ ✉♥❝♦♥❞✐t✐♦♥❛❧ ❥✉♠♣✳

❈♦♥❞✐t✐♦♥❛❧ st❛t❡♠❡♥ts ❛♥❞ ❧♦♦♣s

❝❤❡❝❦ ✵ ❦ ❇ ❂ dup loadc 0 geq jumpz A dup loadc k le jumpz A jumpi B ❆✿ pop loadc k jumpi B ❚❤❡ ❘✲✈❛❧✉❡ ♦❢ t❤❡ ❝♦♥❞✐t✐♦♥ ✐s ✉s❡❞ ❜♦t❤ ❢♦r ❝♦♠♣❛r✐s♦♥ ❛♥❞ ✐♥❞❡①✐♥❣✱ ❤❡♥❝❡ ✐t ♠✉st ❜❡ ❞✉♣❧✐❝❛t❡❞ ❜❡❢♦r❡ ❝♦♠♣❛r✐s♦♥s✳ ■❢ ❘✲✈❛❧✉❡ ✐s ♥♦t ✐♥ ❜❡t✇❡❡♥ ❬✵❀ ❦❪✱ ✐t ✇✐❧❧ ❜❡ r❡♣❧❛❝❡❞ ❜② t❤❡ ❝♦♥st❛♥t ❦ ❜❡❢♦r❡ t❤❡ ❥✉♠♣✳

❈♦♥❞✐t✐♦♥❛❧ st❛t❡♠❡♥ts ❛♥❞ ❧♦♦♣s

■♥str✉❝t✐♦♥ dup ❞✉♣❧✐❝❛t❡s t❤❡ t♦♣♠♦st ❝❡❧❧ ♦❢ t❤❡ st❛❝❦✿ ❞✉♣ ✸ ✸ ✸

S[SP+1] = S[SP]; SP++;

❈♦♥❞✐t✐♦♥❛❧ st❛t❡♠❡♥ts ❛♥❞ ❧♦♦♣s

■♥str✉❝t✐♦♥ jumpi A ♣❡r❢♦r♠s ❛♥ ✐♥❞❡①❡❞ ❥✉♠♣✿ ❥✉♠♣✐ ❆ P❈ P❈ ✐

❆✰✐

PC = A + S[SP]; SP--;

❈♦♥❞✐t✐♦♥❛❧ st❛t❡♠❡♥ts ❛♥❞ ❧♦♦♣s

❏✉♠♣ t❛❜❧❡ ❇ ♠❛② ❜❡ ♣❧❛❝❡❞ ❥✉st ❛❢t❡r t❤❡ ♠❛❝r♦ ❝❤❡❝❦❀ ✐t ❛❧❧♦✇s t♦ s❛✈❡ s♦♠❡ ✉♥❝♦♥❞✐t✐♦♥❛❧ ❥✉♠♣s✳ ■❢ t❤❡ r❛♥❣❡ ♦❢ ✈❛❧✉❡s st❛rts ✇✐t❤ ✉ ✭❛♥❞ ✐s ♥♦t ✵✮✱ t❤❡♥ ✉ ♠✉st ❜❡ s✉❜tr❛❝t❡❞ ❢r♦♠ t❤❡ ❘✲✈❛❧✉❡ ♦❢ ❡ ❜❡❢♦r❡ ✐♥❞❡①✐♥❣✳ ■❢ ❛❧❧ ♣♦t❡♥t✐❛❧ ✈❛❧✉❡s ♦❢ ❡ ❛r❡ ✐♥ r❛♥❣❡ ❬✵❀ ❦❪✱ t❤❡♥ t❤❡ ♠❛❝r♦ ❝❤❡❝❦ ✐s ♥♦t ♥❡❡❞❡❞✳

❆rr❛②s✱ r❡❝♦r❞s ❛♥❞ st❛t✐❝ ♠❡♠♦r② ♠❛♥❛❣❡♠❡♥t

• ♦❛❧✿ st❛t✐❝❛❧❧② ✭✐✳❡✳ ❝♦♠♣✐❧❡✲t✐♠❡✮ t♦ ❜✐♥❞ ✇✐t❤ ❡❛❝❤ ✈❛r✐✲

❛❜❧❡ ① ❛ ☞①❡❞ ✭r❡❧❛t✐✈❡✮ ❛❞❞r❡ss ✚ ①✳ ❲❡ ❛ss✉♠❡ t❤❛t ✈❛r✐❛❜❧❡s ♦❢ ♣r✐♠✐t✐✈❡ t②♣❡s ✭❡✳❣✳ int✱ ✳ ✳ ✳ ✮ ☞t ✐♥t♦ ❛ s✐♥❣❧❡ ♠❡♠♦r② ❝❡❧❧✳ ❇✐♥❞ ✈❛r✐❛❜❧❡s t♦ ❛❞❞r❡ss❡s st❛rt✐♥❣ ❢r♦♠ ✶ ✉s✐♥❣ t❤❡✐r ❞❡❝✲ ❧❛r❛t✐♦♥ ♦r❞❡r✳ ❍❡♥❝❡✱ ✐♥ t❤❡ ❝❛s❡ ♦❢ ❞❡❝❧❛r❛t✐♦♥s ❞ ✑ t✶ ①✶❀ ✿ ✿ ✿ t❦ ①❦❀ ✭✇❤❡r❡ t✐ ✐s ♣r✐♠✐t✐✈❡ t②♣❡✮ ✇❡ ❣❡t ❛♥ ❛❞❞r❡ss ❡♥✈✐r♦♥♠❡♥t ✚ s✳t✳ ✚ ①✐ ❂ ✐❀ ✐ ❂ ✶❀ ✿ ✿ ✿ ❀ ❦

❆rr❛②s✱ r❡❝♦r❞s ❛♥❞ st❛t✐❝ ♠❡♠♦r② ♠❛♥❛❣❡♠❡♥t

❆rr❛② ✐s ❛ s❡q✉❡♥❝❡ ♦❢ ♠❡♠♦r② ❝❡❧❧s✳ ❯s❡s ✐♥t❡❣❡r ✐♥❞✐❝❡s ❢♦r ❛♥ ❛❝❝❡ss ♦❢ ✐ts ✐♥❞✐✈✐❞✉❛❧ ❡❧❡♠❡♥ts✳ ❊①❛♠♣❧❡✿ ❞❡❝❧❛r❛t✐♦♥ int❬✶✶❪❛❀ ❞❡☞♥❡s ❛♥ ❛rr❛② ✇✐t❤ ✶✶ ❡❧❡♠❡♥ts✳

❛❬✶✵❪ ❛❬✶❪ ❛❬✵❪

❆rr❛②s✱ r❡❝♦r❞s ❛♥❞ st❛t✐❝ ♠❡♠♦r② ♠❛♥❛❣❡♠❡♥t

❉❡☞♥❡ ❛ ❢✉♥❝t✐♦♥ s✐③❡♦❢ ✭♥♦t❛t✐♦♥ ❥ ✁ ❥✮ ✇❤✐❝❤ ☞♥❞s t❤❡ r❡q✉✐r❡❞ ♠❡♠♦r② ❛♠♦✉♥t t♦ r❡♣r❡s❡♥t ❛ ✈❛❧✉❡ ♦❢ ❛ ❣✐✈❡♥ t②♣❡✿ ❥t❥ ❂

✭

✶ ✐❢ t ✐s ❛ ♣r✐♠✐t✐✈❡ t②♣❡ ❦ ✁ ❥t✵❥ ✐❢ t ✑ t✵❬❦❪ ❍❡♥❝❡✱ ✐♥ t❤❡ ❝❛s❡ ♦❢ ❞❡❝❧❛r❛t✐♦♥s ❞ ✑ t✶ ①✶❀ ✿ ✿ ✿ t❦ ①❦❀ ✚ ①✶ ❂ ✶ ✚ ①✐ ❂ ✚ ①✐✶ ✰ ❥t✐✶❥ ✐ ❃ ✶ ❙✐♥❝❡ ❥ ✁ ❥ ❝❛♥ ❜❡ ❝♦♠♣✉t❡❞ ❝♦♠♣✐❧❡✲t✐♠❡✱ ✐t ✐s ❛❧s♦ ♣♦ss✐❜❧❡ t♦ ❝♦♠♣✉t❡ t❤❡ ❛❞❞r❡ss ❡♥✈✐r♦♥♠❡♥t ✚ ✐♥ ❝♦♠♣✐❧❡✲t✐♠❡✳

❆rr❛②s✱ r❡❝♦r❞s ❛♥❞ st❛t✐❝ ♠❡♠♦r② ♠❛♥❛❣❡♠❡♥t

▲❡t t ❛❬❝❪❀ ❜❡ ❛♥ ❛rr❛② ❞❡❝❧❛r❛t✐♦♥✳ ❚❤❡♥✱ t❤❡ ❛❞❞r❡ss ♦❢ ✐ts ✐✲t❤ ❡❧❡♠❡♥t ✐s ✚ ❛ ✰ ❥t❥ ✂ ✭r✈❛❧ ♦❢ ✐✮ ❝♦❞❡▲ ✭❛❬❡❪✮ ✚ ❂ loadc ✭✚ ❛✮ ❝♦❞❡❘ ❡ ✚ loadc ❥t❥ mul add ■♥ ❣❡♥❡r❛❧✱ ❛♥ ❛rr❛② ❝❛♥ ❜❡ ❣✐✈❡♥ ❜② ❛♥ ❡①♣r❡ss✐♦♥ ✇❤✐❝❤ ♠✉st ❜❡ ❡✈❛❧✉❛t❡❞ ❜❡❢♦r❡ ✐♥❞❡①✐♥❣✳ ■♥ ❈✱ ❛♥ ❛rr❛② ✐s ❛ ♣♦✐♥t❡r✲❝♦♥st❛♥t ✇❤✐❝❤ ❘✲✈❛❧✉❡ ✐s t❤❡ st❛rt ❛❞❞r❡ss ♦❢ t❤❡ ❛rr❛②✳

❆rr❛②s✱ r❡❝♦r❞s ❛♥❞ st❛t✐❝ ♠❡♠♦r② ♠❛♥❛❣❡♠❡♥t

❝♦❞❡▲ ✭❡✶❬❡✷❪✮ ✚ ❂ ❝♦❞❡❘ ❡✶ ✚ ❝♦❞❡❘ ❡✷ ✚ loadc ❥t❥ mul add ❝♦❞❡❘ ❡ ✚ ❂ ❝♦❞❡▲ ❡ ✚ ❡ ✐s ❛♥ ❛rr❛② ◆❇✦ ■♥ ❈✱ t❤❡ ❢♦❧❧♦✇✐♥❣ ❛r❡ ❡q✉✐✈❛❧❡♥t ✭❛s ▲✲✈❛❧✉❡s✮✿ ❛❬✷❪ ✷❬❛❪ ❛ ✰ ✷ ◆♦r♠❛❧✐③❛t✐♦♥✿ ❛rr❛② ✈❛r✐❛❜❧❡s ❛♥❞ ❡①♣r❡ss✐♦♥s ✇❤✐❝❤ ❡✈❛❧✉❛t❡ t♦ ❛♥ ❛rr❛② ❛r❡ ❜❡❢♦r❡ ✐♥❞❡①✐♥❣ ❜r❛❝❦❡ts❀ ✐♥❞❡① ❡①♣r❡ss✐♦♥s ❛r❡ ✐♥s✐❞❡ ❜r❛❝❦❡ts✳

❆rr❛②s✱ r❡❝♦r❞s ❛♥❞ st❛t✐❝ ♠❡♠♦r② ♠❛♥❛❣❡♠❡♥t

❘❡❝♦r❞ ✐s s❡t ♦❢ ☞❡❧❞s❀ ❡❛❝❤ ☞❡❧❞ ♠❛② ❜❡ ♦❢ ❞✐☛❡r❡♥t t②♣❡✳ ❋✐❡❧❞s ❛r❡ ❛❝❝❡ss❡❞ ❜② ♥❛♠❡s ✭s❡❧❡❝t♦rs✮✳ ❋♦r s✐♠♣❧✐❝✐t②✱ ✇❡ ❛ss✉♠❡ t❤❛t ☞❡❧❞ ♥❛♠❡s ❛r❡ ✉♥✐q✉❡✳ ④ ❆❧t❡r♥❛t✐✈❡✿ ❢♦r ❡❛❝❤ r❡❝♦r❞ t②♣❡ st ❤❛✈❡ ❛ s❡♣❛r❛t❡ ❡♥✈✐r♦♥♠❡♥t ✚st✳ ▲❡t struct ❢ int ❛❀ int ❜❀ ❣ ①❀ ❜❡ ❛ ❞❡❝❧❛r❛t✐♦♥✿ ④ t❤❡ ❛❞❞r❡ss ♦❢ t❤❡ r❡❝♦r❞ ① ✐s t❤❡ ❛❞❞r❡ss ♦❢ ✐ts ☞rst ❝❡❧❧❀ ④ ☞❡❧❞ ❛❞❞r❡ss❡s ❛r❡ r❡❧❛t✐✈❡ t♦ t❤❡ ❛❞❞r❡ss ♦❢ t❤❡ r❡❝♦r❞❀ ✐✳❡✳ ✐♥ t❤❡ ❡①❛♠♣❧❡ ❛❜♦✈❡ ❛ ✼✦ ✵❀ ❜ ✼✦ ✶✳

❆rr❛②s✱ r❡❝♦r❞s ❛♥❞ st❛t✐❝ ♠❡♠♦r② ♠❛♥❛❣❡♠❡♥t

▲❡t t ✑ struct ❢ t✶ ❝✶❀ ✿ ✿ ✿ t❦ ❝❦❀ ❣✱ t❤❡♥ ❥t❥ ❂

P❦

✐❂✶ ❥t✐❥

✚ ❝✶ ❂ ✵ ✚ ❝✐ ❂ ✚ ❝✐✶ ✰ ❥t✐✶❥ ✐ ❃ ✶ ❚❤✉s✱ ❛♥ ❛❞❞r❡ss ♦❢ t❤❡ ☞❡❧❞ ①✿❝✐ ✐s ✚ ① ✰ ✚ ❝✐ ❝♦❞❡▲ ✭❡✿❝✮ ✚ ❂ ❝♦❞❡▲ ❡ ✚ loadc ✭✚ ❝✮ add

❘❡❢❡r❡♥❝❡s ❛♥❞ ❞②♥❛♠✐❝ ♠❡♠♦r② ♠❛♥❛❣❡♠❡♥t

❍❡❛♣✿

◆P ❊P ❙P

✵

❙

▼❆❳

❍ ❍ ❂ ❍❡❛♣ ⑤ ♠❡♠♦r② ❛r❡❛ ❢♦r ❞②♥❛♠✐❝❛❧❧② ❛❧❧♦❝❛t❡❞ ❞❛t❛✳ ◆P ❂ ◆❡✇✲P♦✐♥t❡r ⑤ r❡❣✐st❡r ❝♦♥t❛✐♥✐♥❣ t❤❡ ❛❞❞r❡ss ♦❢ t❤❡ ❧♦✇❡r♠♦st ✉s❡❞ ❝❡❧❧ ✐♥ t❤❡ ❤❡❛♣✳ ❊P ❂ ❊①tr❡♠❡✲P♦✐♥t❡r ⑤ r❡❣✐st❡r ❝♦♥t❛✐♥✐♥❣ t❤❡ ❛❞❞r❡ss ♦❢ t❤❡ t♦♣♠♦st ❝❡❧❧ t♦ ✇❤❡r❡ ❙P ♠❛② ♣♦✐♥t ❞✉r✐♥❣ ❡①❡❝✉t✐♦♥ ♦❢ t❤❡ ❣✐✈❡♥ ❢✉♥❝t✐♦♥✳

❘❡❢❡r❡♥❝❡s ❛♥❞ ❞②♥❛♠✐❝ ♠❡♠♦r② ♠❛♥❛❣❡♠❡♥t

❙t❛❝❦ ❛♥❞ ❤❡❛♣ ❣r♦✇ t♦✇❛r❞s ❡❛❝❤ ♦t❤❡r ❛♥❞ ♠✉st ♥♦t ♦✈❡r❧❛♣ ✭st❛❝❦ ♦✈❡r✌♦✇✮✳ ❇♦t❤✱ ✐♥❝r❡♠❡♥t✐♥❣ ❙P ♦r ❞❡❝r❡♠❡♥t✐♥❣ ◆P✱ ♠❛② r❡s✉❧t t♦ t❤❡ ♦✈❡r✌♦✇✳ ❘❡❣✐st❡r ❊P ❤❡❧♣s t♦ ❛✈♦✐❞ ❛♥ ♦✈❡r✌♦✇ ✐♥ t❤❡ ❝❛s❡ ♦❢ st❛❝❦ ♦♣❡r❛t✐♦♥s✳ ❚❤❡ ✈❛❧✉❡ ♦❢ ❊P ❝❛♥ ❜❡ ❞❡t❡r♠✐♥❡❞ st❛t✐❝❛❧❧②✳ ❇✉t ✇❤❡♥ ❛❧❧♦❝❛t✐♥❣ ♠❡♠♦r② ❢r♦♠ t❤❡ ❤❡❛♣✱ ♦♥❡ ♠✉st ❝❤❡❝❦ ❢♦r t❤❡ ♦✈❡r✌♦✇✳

❘❡❢❡r❡♥❝❡s ❛♥❞ ❞②♥❛♠✐❝ ♠❡♠♦r② ♠❛♥❛❣❡♠❡♥t

P♦✐♥t❡rs ❛❧❧♦✇ ❛❝❝❡ss t♦ ❛♥♦♥②♠♦✉s✱ ❞②♥❛♠✐❝❛❧❧② ❝r❡❛t❡❞✱ ♦❜❥❡❝ts ✇❤✐❝❤ ❧✐❢❡✲t✐♠❡ ❞♦❡s♥✬t ❢♦❧❧♦✇ ▲■❋❖ ♣r✐♥❝✐♣❧❡✳ P♦✐♥t❡r ✈❛❧✉❡s ❛r❡ r❡t✉r♥❡❞ ❜② t❤❡ ❢♦❧❧♦✇✐♥❣ ♦♣❡r❛t✐♦♥s✿ ④ ❛ ❝❛❧❧ t♦ t❤❡ ❢✉♥❝t✐♦♥ malloc✭❡✮ ❛❧❧♦❝❛t❡s ❛ ♠❡♠♦r② ❛r❡❛ ♦❢ s✐③❡ ❡ ❛♥❞ r❡t✉r♥s ❛ ❜❡❣✐♥♥✐♥❣ ❛❞❞r❡ss ♦❢ t❤❡ ❛r❡❛✳ ④ ❛♥ ❛♣♣❧✐❝❛t✐♦♥ ♦❢ t❤❡ ❛❞❞r❡ss ♦♣❡r❛t♦r ✫ t♦ ❛ ✈❛r✐❛❜❧❡ r❡t✉r♥s ❛♥ ❛❞❞r❡ss ♦❢ t❤❡ ✈❛r✐❛❜❧❡ ✭✐❡✳ ✐ts ▲✲✈❛❧✉❡✮✳ ❝♦❞❡❘ ✭malloc✭❡✮✮ ✚ ❂ ❝♦❞❡❘ ❡ ✚ new ❝♦❞❡❘ ✭✫❡✮ ✚ ❂ ❝♦❞❡▲ ❡ ✚

❘❡❢❡r❡♥❝❡s ❛♥❞ ❞②♥❛♠✐❝ ♠❡♠♦r② ♠❛♥❛❣❡♠❡♥t

◆P ♥❡✇ ◆P

♥

♥

if (NP - S[SP] ✔ EP) S[SP] = NULL; else { NP = NP - S[SP]; S[SP] = NP; }

NULL ✐s ❛ s♣❡❝✐❛❧ r❡❢❡r❡♥❝❡ ❝♦♥st❛♥t❀ ❡q✉✐✈❛❧❡♥t t♦ t❤❡ ✐♥t❡❣❡r ✵✳ ■♥ t❤❡ ❝❛s❡ ♦❢ ♦✈❡r✌♦✇ r❡t✉r♥s NULL✲♣♦✐♥t❡r✳

❘❡❢❡r❡♥❝❡s ❛♥❞ ❞②♥❛♠✐❝ ♠❡♠♦r② ♠❛♥❛❣❡♠❡♥t

❘❡❢❡r❡♥❝❡❞ ✈❛❧✉❡s ❝❛♥ ❜❡ ❛❝❝❡ss❡❞ ❜② t❤❡ ❢♦❧❧♦✇✐♥❣ ✇❛②s✿ ④ ❛♥ ❛♣♣❧✐❝❛t✐♦♥ ♦❢ t❤❡ ❞❡r❡❢❡r❡♥❝✐♥❣ ♦♣❡r❛t♦r ✄ t♦ ❡①♣r❡ss✐♦♥ ❡ r❡t✉r♥s t❤❡ ❝♦♥t❡♥t ♦❢ ❛ ♠❡♠♦r② ❝❡❧❧ ✇❤✐❝❤ ❛❞❞r❡ss ✐s ❛ ❘✲✈❛❧✉❡ ♦❢ ❡❀ ④ ❛ r❡❝♦r❞ ☞❡❧❞ s❡❧❡❝t✐♦♥ t❤r♦✉❣❤ ❛ ♣♦✐♥t❡r ❡✦❝ ✐s ❡q✉✐✈❛❧❡♥t t♦ t❤❡ ❡①♣r❡ss✐♦♥ ✭✄❡✮✿❝✳ ❝♦❞❡▲ ✭✄❡✮ ✚ ❂ ❝♦❞❡❘ ❡ ✚ ❝♦❞❡▲ ✭❡✦❝✮ ✚ ❂ ❝♦❞❡❘ ❡ ✚ loadc ✭✚ ❝✮ add

❘❡❢❡r❡♥❝❡s ❛♥❞ ❞②♥❛♠✐❝ ♠❡♠♦r② ♠❛♥❛❣❡♠❡♥t

❊①❛♠♣❧❡✿ ❧❡t ❜❡ ❣✐✈❡♥ t❤❡ ❢♦❧❧♦✇✐♥❣ ❞❡❝❧❛r❛t✐♦♥s✿ struct t ❢ int ❛❬✼❪❀ struct t ✄ ❜❀ ❣❀ int ✐❀ ❥❀ struct t ✄ ♣t❀ ❚❤❡♥ ✚ ❂ ❢ ❛ ✼✦ ✵❀ ❜ ✼✦ ✼❀ ✐ ✼✦ ✶❀ ❥ ✼✦ ✷❀ ♣t ✼✦ ✸ ❣✳ ❋♦r t❤❡ ❡①♣r❡ss✐♦♥ ✭✭♣t✦❜✮✦❛✮❬✐ ✰ ✶❪ t❤❡ ❢♦❧❧♦✇✐♥❣ ❝♦❞❡ ✐s ❡♠✐tt❡❞✿ loada 3 loadc 7 add load loadc 0 add loada 1 loadc 1 add loadc 1 mul add

❘❡❢❡r❡♥❝❡s ❛♥❞ ❞②♥❛♠✐❝ ♠❡♠♦r② ♠❛♥❛❣❡♠❡♥t

▼❡♠♦r② ✐s ❢r❡❡❞ ❜② ❝❛❧❧✐♥❣ t❤❡ ❈✲❢✉♥❝t✐♦♥ free✭❡✮✳ ❚❤❡ ❣✐✈❡♥ ♠❡♠♦r② ❛r❡❛ ✐s ♠❛r❦❡❞ ❛s ❛ ❢r❡❡ ❛♥❞ ✐s ♣✉t t♦ t❤❡ s♣❡❝✐❛❧ ❢r❡❡ ❧✐st✱ ❢r♦♠ ✇❤❡r❡ malloc ❝❛♥ r❡✉s❡ ✐t ✐❢ ♥❡❝❡ss❛r②✳ Pr♦❜❧❡♠s✿ ④ ❛❢t❡r ❢r❡❡✐♥❣✱ t❤❡r❡ ♠✐❣❤t ❜❡ st✐❧❧ s♦♠❡ ❛❝❝❡ss✐❜❧❡ r❡❢❡r❡♥❝❡s ♣♦✐♥t✐♥❣ t♦ t❤❡ ♠❡♠♦r② ❛r❡❛ ✭❞❛♥❣❧✐♥❣ r❡❢❡r❡♥❝❡s✮❀ ④ ♦✈❡r t❤❡ t✐♠❡✱ ♠❡♠♦r② ♠✐❣❤t ❣❡t ❢r❛❣♠❡♥t❡❞❀ ❢r❡❡ ♠❡♠♦r② ❢r❛❣♠❡♥ts ④ ❦❡❡♣✐♥❣ tr❛❝❦ ♦❢ t❤❡ ❢r❡❡ ❧✐st ♠✐❣❤t ❜❡ r❡❧❛t✐✈❡❧② ❝♦st❧②✳

❘❡❢❡r❡♥❝❡s ❛♥❞ ❞②♥❛♠✐❝ ♠❡♠♦r② ♠❛♥❛❣❡♠❡♥t

❆❧t❡r♥❛t✐✈❡✿ ✐♥ t❤❡ ❝❛s❡ ♦❢ ❢✉♥❝t✐♦♥ free ❞♦ ♥♦t❤✐♥❣✳ ❝♦❞❡ ✭free✭❡✮❀ ✮ ✚ ❂ ❝♦❞❡❘ ❡ ✚ pop ■❢ ♠❡♠♦r② ✐s ❢✉❧❧✱ ❞❡❛❧❧♦❝❛t❡ t❤❡ ✉♥❛❝❝❡ss✐❜❧❡ ♠❡♠♦r② ❛✉t♦♠❛t✐❝❛❧❧② ✉s✐♥❣ ❣❛r❜❛❣❡ ❝♦❧❧❡❝t✐♦♥✳ ✰ ❆❧❧♦❝❛t✐♦♥ ❛♥❞ ✧❞❡❛❧❧♦❝❛t✐♦♥✧ ✐s s✐♠♣❧❡ ❛♥❞ ✈❡r② ❡✍❝✐❡♥t✳ ✰ ◆♦ ✧❞❛♥❣❧✐♥❣ r❡❢❡r❡♥❝❡s✧✳ ✰ ❙❡✈❡r❛❧ ❣❛r❜❛❣❡ ❝♦❧❧❡❝t✐♦♥ ❛❧❣♦r✐t❤♠s ❞❡❢r❛❣♠❡♥t t❤❡ ✉s❡❞ ♠❡♠♦r②✳

• ❛r❜❛❣❡ ❝♦❧❧❡❝t✐♦♥ ♠❛② t❛❦❡ t✐♠❡✱ ❤❡♥❝❡ t❤❡r❡ ♠✐❣❤t ❜❡

♥♦t✐❝❡❛❜❧❡ ♣❛✉s❡s ❞✉r✐♥❣ t❤❡ ❡①❡❝✉t✐♦♥ ♦❢ t❤❡ ♣r♦❣r❛♠✳

❋✉♥❝t✐♦♥s

❆ ❢✉♥❝t✐♦♥ ❞❡☞♥✐t✐♦♥ ❝♦♥s✐sts ♦❢ ❢♦✉r ♣❛rts✿ ④ ❛ ♥❛♠❡ ♦❢ t❤❡ ❢✉♥❝t✐♦♥✱ ✇❤✐❝❤ ✐s ✉s❡❞ ✇❤❡♥ ❢✉♥❝t✐♦♥ ✐s ❝❛❧❧❡❞❀ ④ ❛ s♣❡❝✐☞❝❛t✐♦♥ ♦❢ ❢♦r♠❛❧ ♣❛r❛♠❡t❡rs❀ ④ ❛ r❡t✉r♥ t②♣❡ ♦❢ t❤❡ ❢✉♥❝t✐♦♥❀ ④ ❛ ❜♦❞② ♦❢ t❤❡ ❢✉♥❝t✐♦♥✳ ■♥ ❈ t❤❡ ❢♦❧❧♦✇✐♥❣ ❤♦❧❞s✿ ❝♦❞❡❘ ❢ ✚ ❂ ❢ ❂ st❛rt✐♥❣ ❛❞❞r❡ss ♦❢ ❢ ❝♦❞❡ ❍❡♥❝❡✱ t❤❡ ❛❞❞r❡ss ❡♥✈✐r♦♥♠❡♥t ♠✉st ❛❧s♦ ❦❡❡♣ tr❛❝❦ ♦❢ ❢✉♥❝t✐♦♥ ♥❛♠❡s✦

❋✉♥❝t✐♦♥s

❊①❛♠♣❧❡✿ int ❢❛❝ ✭int ①✮ ❢ if ✭① ✔ ✵✮ return ✶❀ else return ① ✄ ❢❛❝✭① ✶✮❀ ❣ ♠❛✐♥ ✭✮ ❢ int ♥❀ ♥ ❂ ❢❛❝✭✷✮ ✰ ❢❛❝✭✶✮❀ ♣r✐♥t❢✭✧✪❞✧❀ ♥✮❀ ❣ ❚❤❡ s❛♠❡ ❢✉♥❝t✐♦♥ ♠❛② ❤❛✈❡ s❡✈❡r❛❧ s✐♠✉❧t❛♥❡♦✉s❧② ❛❝t✐✈❡ ✐♥st❛♥❝❡s✳ ♠❛✐♥ ❢❛❝ ♣r✐♥t❢ ❢❛❝ ❢❛❝ ❢❛❝ ❢❛❝

❋✉♥❝t✐♦♥s

❋♦r♠❛❧ ♣❛r❛♠❡t❡rs ❛♥❞ ❧♦❝❛❧ ✈❛r✐❛❜❧❡s ♦❢ ❡❛❝❤ ✐♥st❛♥❝❡ ♦❢ t❤❡ ❢✉♥❝t✐♦♥ ♠✉st ❜❡ ❦❡♣t s❡♣❛r❛t❡❧②✳ ❋♦r t❤✐s ✇❡ ❛❧❧♦❝❛t❡ ✐♥ st❛❝❦ ❛ s♣❡❝✐❛❧ ♠❡♠♦r② r❡❣✐♦♥ ❝❛❧❧❡❞ ❙t❛❝❦ ❋r❛♠❡✮✳ ❋P ✭❋r❛♠❡ P♦✐♥t❡r✮ ✐s ❛ r❡❣✐st❡r ✇❤✐❝❤ ♣♦✐♥ts t♦ t❤❡ ❧❛st ♦r❣❛♥✐③❛t✐♦♥❛❧ ❝❡❧❧ ♦❢ t❤❡ ❛❝t✐✈❡ ❢r❛♠❡✱ ❛♥❞ ✇❤✐❝❤ ✐s ✉s❡❞ ❢♦r ❛❞❞r❡ss✐♥❣ ♦❢ ❢♦r♠❛❧ ♣❛r❛♠❡t❡rs ❛♥❞ ❧♦❝❛❧ ✈❛r✐❛❜❧❡s✳

❋✉♥❝t✐♦♥s

❙tr✉❝t✉r❡ ♦❢ ❛ ❢r❛♠❡✿ ❋P ❙P

❢♦r♠❛❧ ♣❛r❛♠❡t❡rs ♦r❣❛♥✐③❛t✐♦♥❛❧ ❝❡❧❧s r❡t✉r♥ ✈❛❧✉❡ ❧♦❝❛❧ ✈❛r✐❛❜❧❡s

P❈♦❧❞ ❋P♦❧❞ ❊P♦❧❞

❋✉♥❝t✐♦♥s

❆❢t❡r ❢✉♥❝t✐♦♥ r❡t✉r♥s✱ t❤❡ ❝❛❧❧❡r ♠✉st ❜❡ ❛❜❧❡ t♦ ❝♦♥t✐♥✉❡ ✐ts ❡①❡❝✉t✐♦♥ ✐♥ ✐ts ♦✇♥ ❢r❛♠❡✳ ❍❡♥❝❡✱ ✇❤❡♥ ❝❛❧❧✐♥❣ ❛ ❢✉♥❝t✐♦♥ t❤❡ ❢♦❧❧♦✇✐♥❣ ♠✉st ❜❡ s❛✈❡❞✿ ④ ❢r❛♠❡ ❛❞❞r❡ss ❋P ♦❢ t❤❡ ❝❛❧❧❡r❀ ④ ❝♦❞❡ ❛❞❞r❡ss ❢r♦♠ ✇❤❡r❡ t♦ ❝♦♥t✐♥✉❡ ❛❢t❡r t❤❡ r❡t✉r♥ ✭✐❡✳ ♣r♦❣r❛♠ ❝♦✉♥t❡r P❈✮❀ ④ t❤❡ ♠❛①✐♠❛❧ ♣♦ss✐❜❧❡ st❛❝❦ ❛❞❞r❡ss ♦❢ t❤❡ ❝❛❧❧❡r ❊P✳ ❙✐♠♣❧✐☞❝❛t✐♦♥✿ ✇❡ ❛ss✉♠❡ t❤❛t r❡t✉r♥ ✈❛❧✉❡s ☞t ✐♥t♦ ❛ s✐♥❣❧❡ ❝❡❧❧✳

❋✉♥❝t✐♦♥s

❲❡ ♥❡❡❞ t♦ ❞✐st✐♥❣✉✐s❤ t✇♦ ❦✐♥❞s ♦❢ ✈❛r✐❛❜❧❡s✿ ④ ❣❧♦❜❛❧ ✈❛r✐❛❜❧❡s ✇❤✐❝❤ ❛r❡ ❞❡☞♥❡❞ ♦✉ts✐❞❡ ♦❢ ❢✉♥❝t✐♦♥s❀ ④ ❧♦❝❛❧ ✭♦r ❛✉t♦♠❛t✐❝✮ ✈❛r✐❛❜❧❡s ✭✐♥❝❧✳ ❢♦r♠❛❧ ♣❛r❛♠❡t❡rs✮ ✇❤✐❝❤ ❛r❡ ❞❡☞♥❡❞ ✐♥s✐❞❡ ♦❢ ❢✉♥❝t✐♦♥s✳ ❚❤❡ ❛❞❞r❡ss ❡♥✈✐r♦♥♠❡♥t ✚ ❜✐♥❞s ✈❛r✐❛❜❧❡ ♥❛♠❡s ✇✐t❤ ♣❛✐rs ✭t❛❣❀ ❛✮ ✷ ❢●❀ ▲❣ ✂ N ◆❇✦ ▼❛♥② ❧❛♥❣✉❛❣❡s r❡str✐❝t t❤❡ s❝♦♣❡ ♦❢ ❛ ✈❛r✐❛❜❧❡ ✐♥s✐❞❡ ❜❧♦❝❦✳ ❉✐☛❡r❡♥t ♣❛rts ♦❢ ❛ ♣r♦❣r❛♠ ❣❡♥❡r❛❧❧② ✉s❡ ❞✐☛❡r❡♥t ❛❞❞r❡ss ❡♥✈✐r♦♥♠❡♥ts✳

❋✉♥❝t✐♦♥s

✵ int ✐❀ struct ❧✐st ❢ int ✐♥❢♦❀ struct ❧✐st ✄♥❡①t❀ ❣ ✄❧❀ ✷ ♠❛✐♥ ✭✮ ❢ int ❦❀ s❝❛♥❢✭✧✪❞✧❀ ✫✐✮❀ s❝❛♥❧✐st✭✫❧✮❀ ♣r✐♥t❢✭✧✪❞✧❀ ✐t❤✭❧❀ ✐✮✮❀ ❣ ✶ int ✐t❤ ✭struct ❧✐st ✄①❀ int ✐✮ ❢ if ✭✐ ✔ ✶✮ return ①✦✐♥❢♦❀ else return ✐t❤✭①✦♥❡①t❀ ✐✶✮❀ ❣

❋✉♥❝t✐♦♥s

✵ int ✐❀ struct ❧✐st ❢ int ✐♥❢♦❀ struct ❧✐st ✄♥❡①t❀ ❣ ✄❧❀ ✷ ♠❛✐♥ ✭✮ ❢ int ❦❀ s❝❛♥❢✭✧✪❞✧❀ ✫✐✮❀ s❝❛♥❧✐st✭✫❧✮❀ ♣r✐♥t❢✭✧✪❞✧❀ ✐t❤✭❧❀ ✐✮✮❀ ❣ ✶ int ✐t❤ ✭struct ❧✐st ✄①❀ int ✐✮ ❢ if ✭✐ ✔ ✶✮ return ①✦✐♥❢♦❀ else return ✐t❤✭①✦♥❡①t❀ ✐✶✮❀ ❣ ✵ ❣❧♦❜❛❧ ❡♥✈✳ ✚✵ ✐ ✼✦ ✭●❀ ✶✮ ❧ ✼✦ ✭●❀ ✷✮ ✐t❤ ✼✦ ✭●❀ ✐t❤✮ ♠❛✐♥ ✼✦ ✭●❀ ♠❛✐♥✮

❋✉♥❝t✐♦♥s

✵ int ✐❀ struct ❧✐st ❢ int ✐♥❢♦❀ struct ❧✐st ✄♥❡①t❀ ❣ ✄❧❀ ✷ ♠❛✐♥ ✭✮ ❢ int ❦❀ s❝❛♥❢✭✧✪❞✧❀ ✫✐✮❀ s❝❛♥❧✐st✭✫❧✮❀ ♣r✐♥t❢✭✧✪❞✧❀ ✐t❤✭❧❀ ✐✮✮❀ ❣ ✶ int ✐t❤ ✭struct ❧✐st ✄①❀ int ✐✮ ❢ if ✭✐ ✔ ✶✮ return ①✦✐♥❢♦❀ else return ✐t❤✭①✦♥❡①t❀ ✐✶✮❀ ❣ ✶ ❡♥✈✳ ❢♦r ❢✉♥❝t✐♦♥ ✐t❤ ✚✶ ① ✼✦ ✭▲❀ ✶✮ ✐ ✼✦ ✭▲❀ ✷✮ ❧ ✼✦ ✭●❀ ✷✮ ✐t❤ ✼✦ ✭●❀ ✐t❤✮ ♠❛✐♥ ✼✦ ✭●❀ ♠❛✐♥✮

❋✉♥❝t✐♦♥s

✵ int ✐❀ struct ❧✐st ❢ int ✐♥❢♦❀ struct ❧✐st ✄♥❡①t❀ ❣ ✄❧❀ ✷ ♠❛✐♥ ✭✮ ❢ int ❦❀ s❝❛♥❢✭✧✪❞✧❀ ✫✐✮❀ s❝❛♥❧✐st✭✫❧✮❀ ♣r✐♥t❢✭✧✪❞✧❀ ✐t❤✭❧❀ ✐✮✮❀ ❣ ✶ int ✐t❤ ✭struct ❧✐st ✄①❀ int ✐✮ ❢ if ✭✐ ✔ ✶✮ return ①✦✐♥❢♦❀ else return ✐t❤✭①✦♥❡①t❀ ✐✶✮❀ ❣ ✷ ❡♥✈✳ ❢♦r ❢✉♥❝t✐♦♥ ♠❛✐♥ ✚✷ ❦ ✼✦ ✭▲❀ ✶✮ ✐ ✼✦ ✭●❀ ✶✮ ❧ ✼✦ ✭●❀ ✷✮ ✐t❤ ✼✦ ✭●❀ ✐t❤✮ ♠❛✐♥ ✼✦ ✭●❀ ♠❛✐♥✮

❋✉♥❝t✐♦♥s

▲❡t ❢ ❜❡ ❛ ❢✉♥❝t✐♦♥ ✇❤✐❝❤ ❝❛❧❧s ❛♥♦t❤❡r ❣✳ ❋✉♥❝t✐♦♥ ❢ ✐s t❤❡ ❝❛❧❧❡r ❛♥❞ ❢✉♥❝t✐♦♥ ❣ t❤❡ ❝❛❧❧❡❡✳ ❚❤❡ ❝♦❞❡ ❡♠✐tt❡❞ ❢♦r ❛ ❢✉♥❝t✐♦♥ ❝❛❧❧ ✐s ❞✐✈✐❞❡❞ ❜❡t✇❡❡♥ t❤❡ ❝❛❧❧❡r ❛♥❞ t❤❡ ❝❛❧❧❡❡✳ ❚❤❡ ❡①❛❝t ❞✐✈✐s✐♦♥ ❞❡♣❡♥❞s ❢r♦♠ ✇❤♦ ❤❛s ✇❤❛t ✐♥❢♦r♠❛t✐♦♥✳

❋✉♥❝t✐♦♥s

❆❝t✐♦♥s ❞✉r✐♥❣ t❤❡ ❢✉♥❝t✐♦♥ ❝❛❧❧ ❛♥❞ ❡♥t❡r✐♥❣ t♦ t❤❡ ❝❛❧❧❡❡✿

✶ s❛✈✐♥❣ r❡❣✐st❡rs ❋P ❛♥❞ ❊P❀ ✷ ❝♦♠♣✉t✐♥❣ ❛❝t✉❛❧ ❛r❣✉♠❡♥ts ♦❢ t❤❡ ❢✉♥❝t✐♦♥❀ ✸ ❞❡t❡r♠✐♥✐♥❣ t❤❡ st❛rt ❛❞❞r❡ss ❣ ♦❢ t❤❡ ❝❛❧❧❡❡❀ ✹ s❡tt✐♥❣ ❛ ♥❡✇ ❋P❀ ✺ s❛✈✐♥❣ P❈ ❛♥❞ ❥✉♠♣✐♥❣ t♦ ❣❀ ✻ s❡tt✐♥❣ ❛ ♥❡✇ ❊P❀ ✼ ❛❧❧♦❝❛t✐♥❣ s♣❛❝❡ ❢♦r ❧♦❝❛❧ ✈❛r✐❛❜❧❡s✳

❣ mark

♦

call ❣ enter ❣ alloc ❆❝t✐♦♥s ♦♥ ❧❡❛✈✐♥❣ t❤❡ ❝❛❧❧❡❡✿

✶ r❡st♦r✐♥❣ r❡❣✐st❡rs ❋P✱ ❊P ❛♥❞ ❙P❀ ✷ r❡t✉r♥✐♥❣ t♦ ❢✲s ❝♦❞❡❀ ✐❡✳ r❡st♦r✐♥❣ P❈✳

✮

return

❋✉♥❝t✐♦♥s

❝♦❞❡❘ ✭❣✭❡✶❀ ✿ ✿ ✿ ❀ ❡♥✮✮ ✚ ❂ mark ❝♦❞❡❘ ❡✶ ✚ ✳ ✳ ✳ ❝♦❞❡❘ ❡♥ ✚ ❝♦❞❡❘ ❣ ✚ call n ❊①♣r❡ss✐♦♥s st❛♥❞✐♥❣ ❢♦r ❛❝t✉❛❧ ♣❛r❛♠❡t❡rs ❛r❡ ❡✈❛❧✉❛t❡❞ ❢♦r t❤❡✐r ❘✲✈❛❧✉❡ ④ ❝❛❧❧✲❜②✲✈❛❧✉❡ ♣❛r❛♠❡t❡r ♣❛ss✐♥❣✳ ❋✉♥❝t✐♦♥ ❣ ♠✐❣❤t ❜❡ ❛♥ ❡①♣r❡ss✐♦♥ ✇❤✐❝❤ ❘✲✈❛❧✉❡ ✐s ❝❛❧❧❡❡✬s st❛rt✐♥❣ ❛❞❞r❡ss✳

❋✉♥❝t✐♦♥s

❋✉♥❝t✐♦♥ ♥❛♠❡ ✐s ❛ ♣♦✐♥t❡r ❝♦♥st❛♥t ✇❤✐❝❤ ❘✲✈❛❧✉❡ ✐s t❤❡ st❛rt✐♥❣ ❛❞❞r❡ss ♦❢ t❤❡ ❢✉♥❝t✐♦♥ ❝♦❞❡✳ ❉❡r❡❢❡r❡♥❝✐♥❣ ❛ ❢✉♥❝t✐♦♥ ♣♦✐♥t❡r r❡t✉r♥s t❤❡ s❛♠❡ ♣♦✐♥t❡r✳ ④ ❊①❛♠♣❧❡✿ ✐♥ t❤❡ ❝❛s❡ ♦❢ t❤❡ ❞❡❝❧❛r❛t✐♦♥ int ✭✄✮✭✮❣❀✱ t❤❡ ❝❛❧❧s ❣✭✮ ❛♥❞ ✭✄❣✮✭✮ ❛r❡ ❡q✉✐✈❛❧❡♥t✳ ■❢ ❛r❣✉♠❡♥ts ❛r❡ str✉❝ts✱ t❤❡② ❛r❡ ❝♦♣✐❡❞✳ ❝♦❞❡❘ ❢ ✚ ❂ loadc ✭✚ ❢✮ ❢ ✐s ❛ ❢✉♥❝t✐♦♥ ♥❛♠❡ ❝♦❞❡❘ ✭✄❡✮ ✚ ❂ ❝♦❞❡❘ ❡ ✚ ❡ ✐s ❛ ❢✉♥❝t✐♦♥ ♣♦✐♥t❡r ❝♦❞❡❘ ❡ ✚ ❂ ❝♦❞❡▲ ❡ ✚ ❡ ✐s ❛ str✉❝t ♦❢ s✐③❡ ❦ move k

❋✉♥❝t✐♦♥s

■♥str✉❝t✐♦♥ move k ❝♦♣✐❡s ❦ ❝❡❧❧s t♦ t♦♣ ♦❢ t❤❡ st❛❝❦✿ ♠♦✈❡ ❦

❦

for (i=k-1; i✕0; i--) S[SP+i] = S[S[SP]+i]; SP = SP + k - 1;

❋✉♥❝t✐♦♥s

■♥str✉❝t✐♦♥ mark ❛❧❧♦❝❛t❡s s♣❛❝❡ ❢♦r ♦r❣❛♥✐③❛t✐♦♥❛❧ ❝❡❧❧s ❛♥❞ ❢♦r t❤❡ r❡t✉r♥ ✈❛❧✉❡✱ ❛♥❞ s❛✈❡s r❡❣✐st❡rs ❋P ❛♥❞ ❊P✿ ❋P ❋P ❊P ❊P ♠❛r❦ ❡ ❡ ❡

S[SP+2] = EP; S[SP+3] = FP; SP = SP + 4;

❋✉♥❝t✐♦♥s

■♥str✉❝t✐♦♥ call n s❛✈❡s t❤❡ ❝♦♥t✐♥✉❛t✐♦♥ ❛❞❞r❡ss ❛♥❞ ❛ss✐❣♥s ♥❡✇ ✈❛❧✉❡s t♦ ❋P✱ ❙P ❛♥❞ P❈✿ ❋P ❋P P❈ ❝❛❧❧ ♥ P❈

♥

♣ q ♣ q

FP = SP - n - 1; S[FP] = PC; PC = S[SP]; SP--;

❋✉♥❝t✐♦♥s

❝♦❞❡ ✭t ❢ ✭❛r❣s✮❢✈❛rs ss❣✮ ✚ ❂ ❢✿ enter q alloc k ❝♦❞❡ ✭ss✮ ✚❢ return ✇❤❡r❡ q ❂ ♠❛①❙ ✰ ❦ ♠❛①❙ ❂ ♠❛①✐♠✉♠ ❞❡♣t❤ ♦❢ t❤❡ ❧♦❝❛❧ st❛❝❦ ❦ ❂ s♣❛❝❡ ❢♦r ❧♦❝❛❧ ✈❛r✐❛❜❧❡s ✚❢ ❂ ❢✲s ❛❞❞r❡ss ❡♥✈✐r♦♥♠❡♥t

❋✉♥❝t✐♦♥s

■♥str✉❝t✐♦♥ enter q s❡ts t❤❡ r❡❣✐st❡r ❊P✿ ❡♥t❡r q

q

❊P

EP = SP + q; if (EP✕NP) Error ("Stack Overflow");

◆❇✦ ■❢ t❤❡r❡ ✐s ♥♦t ❡♥♦✉❣❤ s♣❛❝❡✱ t❤❡ ❡①❡❝✉t✐♦♥ ✐s ✐♥t❡rr✉♣t❡❞✳

❋✉♥❝t✐♦♥s

■♥str✉❝t✐♦♥ alloc k ❛❧❧♦❝❛t❡s s♣❛❝❡ ✐♥ st❛❝❦ ❢♦r ❧♦❝❛❧ ✈❛r✐❛❜❧❡s✿ ❛❧❧♦❝ ❦

❦

SP = SP + k;

❋✉♥❝t✐♦♥s

■♥str✉❝t✐♦♥ return r❡st♦r❡s r❡❣✐st❡rs P❈✱ ❋P ❛♥❞ ❊P✱ ❛♥❞ ❧❡❛✈❡s t❤❡ r❡t✉r♥ ✈❛❧✉❡ ✐♥ t♦♣ ♦❢ t❤❡ st❛❝❦✿ r❡t✉r♥ ❊P ❋P P❈ P❈ ❋P ❊P ✈ ❡ ♣ ❡ ♣ ✈

PC = S[FP]; EP = S[FP-2]; if (EP✕NP) Error ("Stack Overflow"); SP = FP - 3; FP = S[SP+2];

❋✉♥❝t✐♦♥s

❚❤❡ ❛❝❝❡ss t♦ ❧♦❝❛❧ ✈❛r✐❛❜❧❡s ❛♥❞ ❢♦r♠❛❧ ♣❛r❛♠❡t❡rs ✐s r❡❧❛t✐✈❡ ✇✐t❤ r❡s♣❡❝t t♦ t❤❡ r❡❣✐st❡r ❋P✿ ❝♦❞❡▲ ① ✚ ❂

✭

loadc j ✐❢ ✚ ① ❂ ✭●❀ ❥✮ loadrc j ✐❢ ✚ ① ❂ ✭▲❀ ❥✮ ■♥str✉❝t✐♦♥ loadrc j ❝❛❧❝✉❧❛t❡s t❤❡ s✉♠ ♦❢ ❋P ❛♥❞ j✿ ❧♦❛❞r❝ ❥ ❋P ❋P ❢✰❥ ❢ ❢

SP++; S[SP] = FP + j;

❋✉♥❝t✐♦♥s

❆♥❛❧♦❣♦✉s❧② t♦ ✐♥str✉❝t✐♦♥s loada j ❛♥❞ storea j ✇❡ ✐♥tr♦❞✉❝❡ ✐♥str✉❝t✐♦♥s loadr j ❛♥❞ storer j✿ loadr j ❂ loadrc j load storer j ❂ loadrc j store r❡t✉r♥✲st❛t❡♠❡♥t ❝♦rr❡s♣♦♥❞s t♦ t❤❡ ❛ss✐❣♥♠❡♥t t♦ ❛ ✈❛r✐❛❜❧❡ ✇✐t❤ t❤❡ r❡❧❛t✐✈❡ ❛❞❞r❡ss ✲✸✿ ❝♦❞❡ ✭return ❡❀ ✮ ✚ ❂ ❝♦❞❡❘ ❡ ✚ storer -3 return

❋✉♥❝t✐♦♥s

❊①❛♠♣❧❡✿ int ❢❛❝✭int ①✮ ❢ if ✭① ✔ ✵✮ return ✶❀ else return ① ✄ ❢❛❝✭① ✶✮❀ ❣ ❚❤❡♥ ✚❢❛❝ ❂ ❢① ✼✦ ✭▲❀ ✶✮❣ ❛♥❞ t❤❡ ❝♦❞❡ t♦ ❜❡ ❡♠✐tt❡❞ ✐s✿ ❢❛❝✿ enter 7 alloc 0 loadr 1 loadc 0 leq jumpz A loadc 1 storer -3 return jump B ❆✿ loadr 1 mark loadr 1 loadc 1 sub loadc fac call 1 mul storer -3 return ❇✿ return

❈♦♠♣✐❧❛t✐♦♥ ♦❢ t❤❡ ❝♦♠♣❧❡t❡ ♣r♦❣r❛♠

❆♥ ✐♥✐t✐❛❧ st❛t❡ ♦❢ t❤❡ ❛❜str❛❝t ♠❛❝❤✐♥❡✿ ❙P ❂ ✲✶ ❋P ❂ ❊P ❂ ✵ P❈ ❂ ✵ ◆P ❂ ▼❆❳ ▲❡t ♣ ✑ ✈❛rs ❢❞❡❢ ✶ ✿ ✿ ✿ ❢❞❡❢ ♥✱ ✇❤❡r❡ ❢❞❡❢ ✐ ✐s ❛ ❞❡☞♥✐t✐♦♥ ♦❢ ❢✉♥❝t✐♦♥ ❢✐ ❛♥❞ ♦♥❡ ♦❢ t❤❡ ❢✉♥❝t✐♦♥s ❤❛s ❛ ♥❛♠❡ ♠❛✐♥✳ ❚❤❡ ❡♠✐tt❡❞ ❝♦❞❡ ❝♦♥s✐sts ♦❢ ❢♦❧❧♦✇✐♥❣ ♣❛rts✿ ❝♦❞❡ ❝♦rr❡s♣♦♥❞✐♥❣ t♦ ❢✉♥❝t✐♦♥ ❞❡☞♥✐t✐♦♥s ❢❞❡❢ ✐❀ ❛❧❧♦❝❛t✐♦♥ ♦❢ ♠❡♠♦r② ❢♦r ❣❧♦❜❛❧ ✈❛r✐❛❜❧❡s❀ ❝♦❞❡ ♦❢ ❛ ❝❛❧❧ t♦ t❤❡ ❢✉♥❝t✐♦♥ ♠❛✐♥✭✮❀ ✐♥str✉❝t✐♦♥ halt✳

❈♦♠♣✐❧❛t✐♦♥ ♦❢ t❤❡ ❝♦♠♣❧❡t❡ ♣r♦❣r❛♠

❝♦❞❡ ♣ ❀ ❂ enter ✭❦ ✰ ✻✮ alloc ✭❦ ✰ ✶✮ mark loadc main call 0 pop halt ❢✶ ✿ ❝♦❞❡ ❢❞❡❢ ✶ ✚ ✳ ✳ ✳ ❢♥ ✿ ❝♦❞❡ ❢❞❡❢ ♥ ✚ ✇❤❡r❡ ❀ ❂ ❡♠♣t② ❛❞❞r❡ss ❡♥✈✐r♦♥♠❡♥t ✚ ❂ ❣❧♦❜❛❧ ❛❞❞r❡ss ❡♥✈✐r♦♥♠❡♥t ❦ ❂ s♣❛❝❡ ❢♦r ❣❧♦❜❛❧ ✈❛r✐❛❜❧❡s