[crash27]

ex5) 고정점을 찾는 문제에서
a)λf.(λx.if x=0?0:x+f(x-1)) (N->N)->(N->N)
고정점의 집합은 어떠한 함수들의 집합이 되는 것인가요..?

b) λx.{ε}U{ ax | xEX} E 2^S->2^S인 문제에서
앞의 함수에서 ε은 빈 문자열로 생각하고 진행하는 것 아닌가요..
=> 그래서 {ε}가 아닌 그냥 ε가 아닌가 생각했습니다.

이것이 맞다면 .. 이 집합의 공간이 왜 2^S에서 2^S로 가게 되는지..
S는 finite strings인데 이것의 2에 대한 exp라는 것이 잘 이해가 안됩니다.

c) 마지막으로 고정점에 대한 이해가 실은 아직 잘 안되는데,
1) 고정점이 어떤 함수의 형태로 나와야하는 것인지.. 집합의 형태인지 모르겠습니다.

λx.x EZ->Z 의 경우 x->x가 되는 함수인데 초기값이 없는 상태에서 어떻게 고정점을 정의하면 좋을지 모르겠습니다.

λx.x+1 EZU{∞}->ZU{∞} ㅇ의 경우도 bottom이 정의되지않아서 CPO가 되지않을 것 같은데요
고정점을 어떻게 정의의 하면 좋을지 간단히 예를 들어주시면 정말 감사드리겠습니다다! ^^

2) 문제중 CPO로 정의해서 풀수 있는 문제는.. 강의 시간에는
| | i
| | f (bottom) 이 least fixpoint라 하였는데..
---
iEN
그냥 그렇게만 쓰면 답인건가요;;; 1)과 같은 질문이네요.

3) 최소고정점을 푸는 것이 아니라 고정점을 쓰면 되는 것이기 때문에
최소 고정점을 포함하는 어떠한 집합(? 혹은 함수)를 써주면 답이 되는 것가요?
-> 3)이 맞다면 1),2)도 쉽게 생각할수 있을 것 같습니다..

[공순호]

[crash27]

답변감사합니다!
많은 도움이 되었습니다!

궁금증이 풀렸네요 휴..

수정되어야할 부분은 수정되었습니다!

ps. 엡실론 찾기 힘들어서.. e라고 쓴거에요..

[공순호]

도움이 되셨다니, 다행이네요.

[crash27]

네..

조교님하고 같은 시간에 수정했어용..
답글에 인용된 부분에 남아있기는 한데 이건 수정해주시면 될것 같아요 ㅎㅎ

그래도 교수님께서 강의하신 부분에서 연습문제가 많이 나왔네요;;

[공순호]

저도 수정하였습니다.
_________________
- soon@ropas