How to check if a number is prime with the machine NORMA ?
OK.
I tried the program to see if the register A is less than register B
A < B is R0 where
R0 set (if B=0 then C:=0 else R3)
R1 set (B:=B-1, A:=A-1, R2; B:=B+1, A:=A+1)
R2 set (if A=0 then C:=1 else R0)
R3 set (if A=0 then C:=1 else R1)
Is that correct? And if A and B are 0?