یک کامپیوتر داری یک «ثبات»(ثبتکننده) است که میتواند یک عدد صحیح را نگهداری کند و یک حافظه٬ که میتواند تعدادی متغیر را در خود ذخیره کند. این کامپیوتر دارای دستورات زیر است:
برنامهی زیر به این کامپیوتر داده میشود. در انتهای کار این برنامه مقدار ذخیره شده در z، بر حسب مقادیر اولیه متغیرها٬ چقدر است؟
LOADb MULTc STOREt1 ADDa STOREt2 MULTt2 ADDt1 STOREz
پاسخ
گزینه (۲) درست است.
در هر مرحله مقدار ثبات را مینویسیم:
1)?=b2)?=bc3)t1=bc4)?=bc+a5)t2=bc+a6)?=(bc+a)27)?=(bc+a)2+bc8)z=(bc+a)2+bc