이상규
가입: 2026년 3월 4일 올린 글: 12 위치: 대한민국 서울
|
올려짐: 2026년5월15일 15:44 주제: [숙제 7] 마저 할 일의 형태 |
|
|
안녕하세요,
cps(e)의 형태에 관해 질문 드립니다.
| 인용: | | e가 상수가 아니면 항상 cps(e) = \k….(\v….k… ) 형태로 변형되어야 합니다. 상수가 아닌 복합식의 경우, 하나의 부분식을 먼저 변환하고 남은 부분식의 할 일을 k와 함께 묶어 구성하는 것입니다. |
이때 Ifp와 같은 경우에는 e1을 먼저 변환하고 나면, 이를 v1으로 받아 `cps(e2) k`나 `cps(e3) k`를 실행하는 방법을 생각할 수 있습니다.
이 경우에는 cps(e) = \k...(\v...k...k)와 같은 형태가 되는데, 보충 세부사항에서 제시한 형태가 cps식이 '... k'와 같이 k로 끝나는 경우를 포함하는 것인지 궁금합니다. _________________ 감사합니다.
이상규 올림 |
|