이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
이중호
가입: 2009년 9월 19일 올린 글: 35
|
올려짐: 2009년11월14일 5:26 주제: unify질문입니다 |
|
|
코드: |
unify(t1 -> t2, t1' -> t2') = let S = unify(t1,t1')
S' = unifty(St2,St2')
in S' S |
여기에서 S' S의 의미는 무엇인가요
해의 합집합인가요? |
|
위로 |
|
|
현철
가입: 2009년 10월 7일 올린 글: 27
|
올려짐: 2009년11월14일 8:21 주제: 음 |
|
|
합집합인데 순서가 있는 합집합이라고 보면 됩니다..
리스트를 연결하는 느낌이랄까요'ㅁ'; |
|
위로 |
|
|
허기홍
가입: 2007년 9월 27일 올린 글: 231
|
올려짐: 2009년11월14일 15:35 주제: |
|
|
S와 S'는 치환입니다.
인자 X를 받아서 S로 한번 치환한 것을 S'으로 또 치환하는 것입니다.
치환에 대한 자세한 정의는 책에 나와있지요. |
|
위로 |
|
|
|