한재화
가입: 2007년 10월 6일 올린 글: 25
|
올려짐: 2007년12월2일 12:47 주제: Supp(S) 가 정확히 무슨 뜻입니까? |
|
|
교수님께서 쓴 paper를 읽어보고 있는데요. Notation부분에서 궁금한 점이 생겨 질문드립니다.
인용: |
For a substitution S, the support supp(S) is {a | Sa (not equal) a}, ...
|
이라 되어있는데, 무엇을 의미하는지는 대충 알것도 같긴 합니다. 그런데, Sa 에서 a의 domain이 명시되지 않은것 같아 아리송하네요.
제 생각에는 substitution S에 나타나는 모든 type var들이 a의 도메인이 되고 supp(S)는 substitution의 결과가 simple type으로 떨어지는 type var들의 집합 같은데, 제 해석이 맞나요?
답변에 미리 감사드립니다. |
|