~cpp 
Fig 1. 알고리즘 E의 순서도

        |<------------------------------------------------------|
       ↓                                                       |
--------------------          ------------------ 아니오   -------------
| E1.나머지 구하기 |-------->( E2.그것이 0인가? )-------->| E3.줄이기 |
--------------------          ------------------          -------------
                                        |예
                                       ↓

~cpp 
E0. [m >= n 인지 확인하기] m < n 이라면, m <-> n 을 교환한다

~cpp 
	x0 = x	이고	xk + 1 = f(xk) (k >= 0)

~cpp 
f((m,n)) = (m,n,0,1};	f((n)) = (n);
f((m,n,r,1)) = (m, n, m을 n으로 나눈 나머지, 2);
r = 0 이면 f((m,n,r,2)) = (n), 그렇지 않으면 (m,n,r,3);
f((m,n,p,3)) = (n,p,p,1).

• Words( Partitial fieslds of words포함)
  여섯 바이트로 이루어진다. 한 바이트에는 0~63까지 숫자가 들어갈 수 있다. 그림으로 나타내면 다음과 같다.
  

  0	1	2	3	4	5
  ±	Byte	Byte	Byte	Byte	Byte

  필드 제한이 주어질 수 있다. 형식은 (L:R)이다. (L~R의 범위를 뜻한다.)
  
  예) (0:0)는 부호, (1:5)는 부호가 없는 숫자, (3:4)는 3,4번째 바이트
  
• Registers
  레지스터는 앞에 소문자 r을 붙여 표기
  A, X register
  

  ±

  Byte

  Byte

  Byte

  Byte

  Byte

I register - rI1~rI6까지 있음.


±

Byte

Byte

J register


+

Byte

Byte

그 외에
Overfolw toggle - on, off
Comparison indicator, - EQUAL, LESS, GREATER
Input, Output Devices

• Instruction format
  

  0	1	2	3	4	5
  ±	A A		I	F	C

  C - 명령어 코드(the poeration code)
  F - 명령어의 변경(a modification of the operation code). (L:R)이라면 8L+R = F
  ±AA - 메모리 주소(the address)
  I - 인덱스(the index specification). 값이 1~6으로 rI1~rI6에 있는 내용과 메모리 주소를 더함
  여기서 더해진 주소를 M, M에 들어있는 값을 CONTETNS(M)이라고 한다.
  
• Notation
  ~cpp OP ADDRESS, I(F)
  같은 형식으로 쓴다.
  
  ''예) LDA는 명령어 코드가 8이다.
  

  LDA 2000, 2(0:3) 은 || + || 2000 |||| 2 || 3 || 8 || 과 같다.''
  

• Loading operators.
  CONTENTS(M)을 레지스터에 넣는다.
  LDA, LDX, LDi, LDAN, LDXN, LDiN이 있다.
  
• Storing operators.
  레지스터의 값을 CONTENTS(M)에 넣는다.
  STA, STX, STi, STJ, STZ가 있다.
  
• Arithmetic operators.
  사칙연산을 한다. ADD, SUB, MUL, DIV가 있다.
  
• Address transfer operators.
  이 연산에서 M은 메모리 셀을 가리키지 않고, 그냥 부호있는 숫자로 쓰인다. ENTr, ENNr, INCr, DECr가 있다. ( r은 A, X, 1~6)
  
  예) ENTA 2000 - > rA || + || 0 || 0 || 0 || 2000 ||
  
• Comparison operator
  레지스터와 CONTENTS(M)을 비교해서 LESS, GREATER, EQUAL을 설정하는 명령어이다. CMPA, CMPX, CMPi가 있다. CMPi를 할 때는 앞에 세 자리가 0이라고 가정한다.
  
• Jump operators.
  M이 가리키는 메모리 셀로 점프한다. JSJ를 빼면 점프를 하면서 점프 명령어 다음 위치를 rJ에 저장한다. the comparison indicator를 이용하거나(JL, JE, JG, JGE, JLE, JNE) , 레지스터(JrN, JrZ, JrP, JrNN, JrNZ, JrNP)를 이용한다.
  
• Miscellaneous operators.
  시프트 명령은 rA와 rX를 사용한다. SLA, SRA, SLAX, SRAX, SLC, SRC가 있다. M은 시프트하는 횟수를 나타낸다.
  MOVE명령은 F만큼 CONTENTS(M)을 rI1이 가리키는 메모리 셀로 값을 복사한다.
  
  ''예1) rI1 = 1001일 때 MOVE 1000,(3)
  

  CONTENTS(1000) -> CONTENTS(1001), rI1 = 1002
  CONTENTS(1001) -> CONTENTS(1002), rI1 = 1003
  CONTENTS(1002) -> CONTENTS(1003), rI1 = 1004''
  

  그럼 다음엔 어떻게 되나?
  예2) rI1 = 2000일 때 MOVE 1000,(3)
  

  ''CONTENTS(1000) -> CONTENTS(2000), rI1 = 2001
  

  CONTENTS(1001) -> CONTENTS(2001), rI1 = 2002
  CONTENTS(1002) -> CONTENTS(2002), rI1 = 2003''
  (rI1값이 중간중간 바뀌는게 아니라 다 끝나고 F만큼 더해진다고 생각하면돼 --세환)
  
NOP 명령은 아무것도 하지 않는다.
HLT 명령은 기계를 멈춘다(The machine stops.)

• Input-output opertors.
  필요할 때 보려고 생략했다.
  
• Conversion operators.
  NUM은 rAX를 가지고 숫자로 바꾸어 rA에 저장한다. 각 바이트가 한 자리로 바뀌는데, 일의 자리만 가지고 바꾼다(10 -> 0, 23->3 )
  CHAR는 rA를 가지고 문자 코드로 바꾸어 rAX에 저장한다.
  
• Timing
  각 명령어는 실행 시간(excution time)이 있다.