[심민섭]

무한루프를 도는 예제의 경우

(\x.xx) (\x.xx)는 reduce를 실행시키면 그 결과가 나오지 않나오고 계속 돕니다

이런 경우를 예외처리를 해야 하나요?

쉽게 말해 (\x.xx) (\x.xx) 나 (\x.xxx) (\x.xxx) 처럼 reduce를 시켜도 그 모양이나 길이가 줄지 않고 유지되거나 길어지는 경우를 그대로 출력해주는 예외를 처리해야하는지 아니면 그냥 실행되지 않게 하는 것이 맞는건지 헷갈립니다.

더하여 아래분의 질문처럼 괄호에 의해 다른 결과가 나오는데

이건 어떻게 해야하나요?

예를 들면 (\x.f(xx)) (\x.f(xx)) 나 (\x.(xx)f) (\x.(xx)f)는 무한루프를 도는 반면 (돌 때마다 f가 추가되면서 무한루프를 돌겠죠?)

반면 (\x.x(xf)) (\x.x(xf)) 나 (\x.(fx)x) (\x.(fx)x)는 유한하게 끝납니다 (각각, fffffff와 (f\x.(fx)x) (\x.(fx)x)로 나옵니다)

[강동옥]

일단 모호한 인풋에 대해서는 아랫분께도 답변드렸지만

테스트케이스는 모호하지 않게 넣겠습니다.

모호하더라도 -pp옵션으로 그려주는것 기준으로 생각해주세요.



normal order reduction으로 모양이 줄지 않는 케이스는 예외처리하실 필요 없습니다.