[숙제 4] 뉴 보물섬 금열쇠의 '한 꺼풀 펼치기' 질문

이상규

안녕하세요,

수강생 이상규입니다.

안내판x (x | (안내판y (x | y))) 와 같은 지도를 생각할 때,
이를 금열쇠로 열고자 하면
x는 ((금열쇠, 금열쇠), 금열쇠)가,
y는 (금열쇠, 금열쇠)가 필요합니다.

x를 ((금열쇠, 금열쇠), (금열쇠, 금열쇠))로 열려고 하면
(안내판y (x | y))가 암시하는 열쇠 모양이 ((금열쇠, 금열쇠), (금열쇠, 금열쇠))가 되어
x | (안내판y (x | y))에 암시하는 열쇠 모양이 없어지기 때문입니다.

이 경우에 x를 여는 데 필요한 ((금열쇠, 금열쇠), 금열쇠)도 하나의 금열쇠를 '반 꺼풀 펼쳐' 얻을 수 있나요?
아니라면, 이 보물상자를 여는 데 필요한 꾸러미는 {금열쇠, ((금열쇠, 금열쇠), 금열쇠)}인가요?
첫 번째 금열쇠는 한 꺼풀 펼쳐서 (금열쇠, 금열쇠)를 얻고, 두 번째 열쇠는 그대로 x에 사용합니다.

감사합니다.

이상규 올림

이광근 · 가입: 2005년 8월 29일 올린 글: 69

금열쇠 한 꺼풀 펼치기 = *모든 가지*가 한 번 펼쳐집니다(두 갈래로).

eg) = -> (=,=)
eg) (=, =) -> ((=,=), (=,=))

"반 꺼풀 펼치기"는 없습니다.
eg) (=, =) -X-> (=, (=,=))

-K

안중원 · Site Admin 가입: 2023년 3월 13일 올린 글: 40

안녕하세요, 조교 안중원입니다.

두번째 질문에 관해서는, "반 꺼풀 펼치기"는 없으므로 말씀하신 것과 같이 풀이하시면 됩니다.

감사합니다.
_________________
TA 안중원
TA e-mail: ta310@ropas.snu.ac.kr
personal e-mail: jwahn@ropas.snu.ac.kr