[현.철]

(K E)나 ((S E) E')와 같이 용액의 정의가 완료되지 않은 경우 E, E'의 합성을 진행해야 하나요?

작년 게시판에서 김찬민군이 푼 예제를 보니 완료되지 않은 용액의 인자들도 합성을 진행한 것을 보았습니다. 근데 그렇게 하면 명백히 잘 돌아가는 프로그램도 문제를 일으킬 수 있을 것 같아서요.. 용액의 정의가 완료되지 않은 경우 완료되지 않은 인자들에 대한 합성을 해야 하나요 말아야 하나요?

[이승중]

용액의 정의가 완료되지 않는 경우가 어떤 경우인가요?

(K E)는 숙제에 주어진 함수로 만들 수 없을거 같은데요

[현.철]

(a K I)

이런 식이면 만들어지지 않나요?

[현.철]

예를 들면 이런 경우입니다.
(a (S K) (a (a (a S I) I) (a (a S I) I)))

이 때 오른쪽 항에 대한 합성을 계속 진행해야 하나요 말아야 하나요?

[이승중]

아 반응 조건을 만족하지 않는 경우를 말씀하시는 거군요

반응 조건을 만족하지 않으면 그대로 두면 됩니다.

합성할 수도 없습니다.

[이승중]

[현.철]

(a (a (S K) (a (a (a S I) I) (a (a S I) I))) I)

이 경우는 근데 사실 오른쪽의 무한루프가 의미가 없어지므로 합성을 안 해도 되지 않나요?;;

[이승중]

react는 제대로 짰을 때 무한루프가 나오면 계속 돌아가야 합니다.

순서를 고려하지 않았기 때문에 무한루프가 될 수도 있고 아닐수도 있습니다.

이에 대해서 채점하지는 않겠습니다.