함수가 종료 될 때

Question

oops :: Integer -> Integer -> Integer 
oops a b 
    | a == 0 = b 
    | otherwise = oops (a - 1) (b + 1) 

oopser :: Integer -> Integer -> Integer 
oopser a b 
    | a == b = b 
    | otherwise = oopser (a + 1) (b - 1) 

값 a와 b는 위의 두 함수가 종료됩니까? 함수가 종료되면 a 및 b에 대한 값과 관련하여 반환되는 값은 무엇입니까? (두 함수에 대한 질문에 대답하는 것) ...

프로그래밍에서 우리는 실제로 어떻게 'Terminate'라는 단어를 정의합니까 ??

Answer 1

비 종료는 함수를 호출하고 그 함수가 결코 값을 반환하지 않으며 영원히 기다릴 것을 의미합니다. 이제 당신은 영원을 결정할 수 있습니다;).

두 가지 함수는 재귀 함수이며 재귀 함수가 종료되는지 여부를 확인하는 것은 "기본 조건"(즉 재귀 함수가 자체를 호출하지 않는 조건) 만난 적 없어요.

는 oops에서 기본 조건은 다음의 기본 조건을 충족하지 않습니다이 기능에 -1로 (또는 무엇이든 부정적) 통과 따라서 종료 결코 그래서 만약 a == 0 및 재귀 A의이 감소된다. 양수 또는 0 인 a에 대해 종료됩니다.

마찬가지로 oopser에서 값이 큰 값을 전달하면 b는 종료되지 않습니다. b보다 작은 값을 전달하거나 둘 다 같으면 종료됩니다.