이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
윤용호
가입: 2008년 9월 23일 올린 글: 257
|
올려짐: 2009년11월17일 23:22 주제: HW6 질문입니다 |
|
|
#1
변환 규칙이 조금 부족한 것 같습니다.
{x->L1}λx.L 의 경우에 대해 명시되어 있지 않네요.
scope가 가려지므로 아무런 변환도 하지 않는 것이 맞겠지요?
-> 이건 조건을 보니 같은 이름이 두번이상 나오지 않는다고 되어있군요.
차라리 중복 되어 나오고 scope를 가리는게 구현은 더 쉬울것같은데 ㅜㅜ
그리고 그렇다면 리덕션하는 와중에 같은 이름이
중복해서 '생기게' 될 수도 있을 것 같습니다만, 그럼 이름을 임의로 막 바꾸어야 하나요? 만약 그렇다면 그렇게 이름을 바꾸면서도 또 프로그램 전체에 겹치는 이름이 있는지 확인해야하고... 너무 복잡한 것 같습니다.
#3
Lambda를 deBruijn으로 바꾸는건 유일하지만
deBruijn을 Lambda로 바꾸는건 유일하지 않은 것 같습니다.
변수명을 임의로 정해야하니까..
어떻게 처리해야할까요?
# reduction 전체 공통
reduction이 끝나지 않는(무한루프를 도는) 람다식에 대해서는 어떻게 해야할까요? 그런 입력은 넣지 않으시나요?
(/x.(x x))(/y.(y y)) -> (/y.(y y)) (/y.(y y)) -> ...
/f.(/x.f (x x))(/y.f (y y)) -> /f.f((/y.f(y y)) (/y.f(y y))) -> /f.f(f((/y.f(y y))(/y.f(y y)))) -> ... _________________ TA |
|
위로 |
|
|
허지원
가입: 2009년 10월 6일 올린 글: 2
|
올려짐: 2009년11월20일 14:39 주제: |
|
|
#1 질문에 대해서
{x->L1}λx.L 이란게
곧 (λ x L1) (λ x L)이니까 제시된 조건에 의해서 아예 들어오지 않는 입력 아닌가요?
변환 규칙이 부족하다고 보기는 좀... |
|
위로 |
|
|
이광근
가입: 2005년 8월 29일 올린 글: 68
|
올려짐: 2009년11월21일 10:36 주제: Re: HW6 질문입니다 |
|
|
윤용호 씀: | #1
변환 규칙이 조금 부족한 것 같습니다.
{x->L1}λx.L 의 경우에 대해 명시되어 있지 않네요.
scope가 가려지므로 아무런 변환도 하지 않는 것이 맞겠지요?
-> 이건 조건을 보니 같은 이름이 두번이상 나오지 않는다고 되어있군요.
차라리 중복 되어 나오고 scope를 가리는게 구현은 더 쉬울것같은데 ㅜㅜ
그리고 그렇다면 리덕션하는 와중에 같은 이름이
중복해서 '생기게' 될 수도 있을 것 같습니다만, 그럼 이름을 임의로 막 바꾸어야 하나요? 만약 그렇다면 그렇게 이름을 바꾸면서도 또 프로그램 전체에 겹치는 이름이 있는지 확인해야하고... 너무 복잡한 것 같습니다.
#3
Lambda를 deBruijn으로 바꾸는건 유일하지만
deBruijn을 Lambda로 바꾸는건 유일하지 않은 것 같습니다.
변수명을 임의로 정해야하니까..
어떻게 처리해야할까요?
# reduction 전체 공통
reduction이 끝나지 않는(무한루프를 도는) 람다식에 대해서는 어떻게 해야할까요? 그런 입력은 넣지 않으시나요?
(/x.(x x))(/y.(y y)) -> (/y.(y y)) (/y.(y y)) -> ...
/f.(/x.f (x x))(/y.f (y y)) -> /f.f((/y.f(y y)) (/y.f(y y))) -> /f.f(f((/y.f(y y))(/y.f(y y)))) -> ... |
#1:
계산중만들어지는
람다식도
함수인자들이
모두다르도록
마사지해야.
#3:
trans의 조건,
deBruijn꼴 람다식만을 가지고
같은지를 확인합니다.
trans의 듀얼 조건, 이라면
람다식이 같은지 확인해야.
인자이름만 다른 람다식은 같다.
* 무한히 계산되는 람다식
그들도 소중한 친구
"계산"정의대로
무한히 달려야.
-K |
|
위로 |
|
|
|