S A M P L E

CPS 1 (Ramm)			Spring 1998		      1 April 1998
	      			  Quiz #10

Name ___________________   Honor Code________________________    Section _____
--------------------------------------------------------------------------------
Derivation	      Rules
--------------------------------------------------------------------------------
(1) <s>1	      R3:  <s>1 -> <i>2:=<e>3	  code(<s>1) = code(<e>3)
							       COPY AX,M(<e>3)
							       COPY M(<i>2),AX
	
			MEANING FOUND	  code(<s>1) = code(<e>3)
						       COPY AX,M(<e>3)
						       COPY M(<i>2),AX

(2) <i>2:=<e>3	      R1:  <i>2 -> W		  M(<i>2) = W

			MEANING FOUND	  code(<s>1) = code(<e>3)
						       COPY AX,M(<e>3)
						       COPY W,AX

(3) W:=<e>3	      R15: <e>3 -> (<e>4 - <e>5)  M(<e>3) = CN1
						  code(<e>3) = code(<e>4)
							       code(<e>5)
							       COPY AX, M(<e>4)
							       SUB  AX, M(<e>5)
							       COPY M(<e>3),AX

			MEANING FOUND	  code(<s>1) = code(<e>4)
						       code(<e>5)
						       COPY AX, M(<e>4)
						       SUB  AX, M(<e>5)
						       COPY CN1,AX
						       COPY AX,CN1
						       COPY W,AX

(4) W:=(<e>4 - <e>5)  R2: <e>4 -> <i>6	  	  M(<e>4) = M(<i>6)
						  code(<e>4) = //nothing//

			MEANING FOUND	  code(<s>1) = //nothing//
						       code(<e>5)
						       COPY AX, M(<i>6)
						       SUB  AX, M(<e>5)
						       COPY CN1,AX
						       COPY AX,CN1
						       COPY W,AX

(5) W:=(<i>6 - <e>5)  R1: <i>6 -> K		  M(<i>6) = K

			MEANING FOUND	  code(<s>1) = code(<e>5)
						       COPY AX, K
						       SUB  AX, M(<e>5)
						       COPY CN1,AX
						       COPY AX,CN1
						       COPY W,AX

(6) W:=(K - <e>5)     R2: <e>5 -> <i>7	  	  M(<e>5) = M(<i>7)
						  code(<e>5) = //nothing//

			MEANING FOUND	  code(<s>1) = //nothing//
						       COPY AX, K
						       SUB  AX, M(<i>7)
						       COPY CN1,AX
						       COPY AX,CN1
						       COPY W,AX

(7) W:=(K - <i>7)     R1: <i>7 -> F		  M(<i>7) = F

			MEANING FOUND	  code(<s>1) = COPY AX, K
						       SUB  AX, F
						       COPY CN1,AX
						       COPY AX,CN1
						       COPY W,AX

(8) W:=(K - F)
--------------------------------------------------------------------------------
The code above will have sections blanked out which you have to re-create
from your understanding of the process.