이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
신동진
가입: 2015년 9월 10일 올린 글: 8
|
올려짐: 2015년12월5일 4:34 주제: 8-2 질문 |
|
|
1.
"프로그램 e가 연립방정식 E를 세우는 규칙"을 e┣ E로 나타냈는데,
"e_k의 실행결과가 n"은 어떤 방식으로 표기하면 될까요?
2.
주어진 프로그램의 모든 식마다 번호를 붙인다고 했는데,
(f λx.(ifz x 0 (x + (f (x + 1))))) (-3) 과 같은 재귀 프로그램이 있을 때
(ifz ~) 부분은 하나의 식으로 지정되나요, 아니면 재귀 흐름에 따라 다른 번호가 붙은 여러 식으로 지정되나요?
가능하시다면 위 프로그램에 대한 연립방정식의 해가 어떤 형태인지 알려주시면 감사하겠습니다. |
|
위로 |
|
|
최재승
가입: 2012년 9월 10일 올린 글: 211
|
올려짐: 2015년12월6일 17:48 주제: |
|
|
인용: | "e_k의 실행결과가 n"은 어떤 방식으로 표기하면 될까요? |
어떤 표기를 사용해야 한다고 제약을 가하지는 않을 것입니다. 어떤 표기를 이러이러한 의미로 사용하겠다고 명백하게 기술한 다음 자유롭게 사용하시면 됩니다.
굳이 하나를 권장드리자면, 수업자료 및 스펙 문서의 표기를 따라 e ⇒ n 정도가 무난하겠습니다.
인용: | (ifz ~) 부분은 하나의 식으로 지정되나요, 아니면 재귀 흐름에 따라 다른 번호가 붙은 여러 식으로 지정되나요? |
재귀 흐름에 따라 다른 번호가 붙는다는 것이 무슨 말씀이신지 조금 모호하네요. 식에 붙이는 번호는 프로그램의 모습(syntax)만 보기 때문에 재귀 흐름과는 무관합니다.
혹시 ifz e1, e2, e3 전체가 하나의 식으로 번호가 붙어야 하는지, 아니면 e1, e2, e3 각각의 식에 번호가 붙어야 하는지를 질문하신 것인가요? 그렇다면, (ifz ...) 전체에도 하나의 번호가 붙고, e1, e2, e3에도 각각 번호가 붙는 것이 맞습니다. |
|
위로 |
|
|
신동진
가입: 2015년 9월 10일 올린 글: 8
|
올려짐: 2015년12월6일 19:26 주제: |
|
|
제가 이해한 바로는, (ifz e1 e2 e3)의 경우 e1이 실제로 0인지 아닌지에 따라 실제 실행할 함수식 집합이 달라져야 하는 것 같은데
재귀식의 경우 한 부분이 여러 번 실행될 수 있기 때문에 식이 여러개의 방정식 변수가 될 수 있다고 생각했습니다.
위 생각에 잘못된 점이 있다면 지적 부탁드립니다. |
|
위로 |
|
|
최재승
가입: 2012년 9월 10일 올린 글: 211
|
올려짐: 2015년12월7일 10:26 주제: |
|
|
네, 질문을 이해했습니다.
여러 번 실행될 수 있는 식이라도 번호는 항상 하나만 붙는 것이 맞습니다. 각각의 (n번째) 실행마다 다른 변수로 놓는 것이 아닙니다.
그리고, 말씀하신대로 "ifz e1 e2 e3" 의 경우 e1의 계산 결과에 따라 전체 계산 결과가 달라집니다. 그러한 상황도 방정식에 잘 드러내셔야 어떤 함수가 호출될지 올바르게 예측할 수 있을 것입니다. |
|
위로 |
|
|
|