原语言


从而有程序代码如下:

		TO C IF x!=0
		TO E            ;若x=0则程序终止y=0

  [C] 	z1=z1+1
		z1=z1+1
		z1=z1+1
		z1=z1+1
		
  [A]   z2=x
	
  [A2]	TO A1 IF z2!=0  ;每次实现z3=z3+x检测z3是否已经为4x
		z1=z1-1
		TO A IF z1!=0
		TO B             ;已完成z3=4x则程序跳转到开根号部分
		
  [A1]  z2=z2-1
		z3=z3+1
		TO A2
		
  [B]   z4=z4+1          ;z4=2用以实现z3-2y
        z4=z4+1
  
  [B1]  TO B2 IF z4!=0
		z3=z3-1
		TO B3 IF z3!=0    ;注意此时y先加1
		y=y+1             ;此时z3正好是y的平方
		TO E
		
  [B2]  z5=y	          ;z5是保存y的临时变量
  
  [B4]  TO B5 IF z5!=0
        z4=z4-1
		TO B1
		
  [B5]  z3=z3-1
		z5=z5-1
		TO B4 IF z3!=0
		TO E              ;此时不够减程序结束
		
   [B3] y=y+1
        TO B


你可能感兴趣的:(可计算性与计算复杂性)