I want to construct a loop-computable program for this construction:IF x1 = c THEN P ELSE P'I know how to transform if else construction in loop , but I can't understand how to check the equality.I have idea for x1 >= c , but how can I check if the both numbers are equal ?
Construct a loop program for equality
computability;loops