[박준호]

(\x.(x x))(\x.(x x))의 경우,

저는 매번 스텝을 비교하면서 진행하기 때문에, 여러가지 상태가 바뀌는 무한루프가 아닌 경우에는(위와 같은 경우) 멈추게 됩니다

유한시간에 끝나는 입력이 아닌 경우 별다른 조치를 상관없나요??

5-1도 5-2처럼 eager-evaluation해야하나요?

[강동옥]

5-1은 normal order reduction을 따라야 합니다.

normal order reduction으로
끝나는 입력만 테스트할 예정입니다.

[박준호]

끝나는 입력이라는건, 무한루프를 생성하지 않는, 유한번의 시행으로 끝나는 식을 입력하신다고 생각해도 되는거지요?

[강동옥]

네 normal order reduction으로 유한시간 내에 끝나는 것들입니다.