조주연
가입: 2009년 9월 23일 올린 글: 12
|
올려짐: 2014년12월5일 15:53 주제: substitution 질문 입니다. |
|
|
교재 128 쪽에 보면
두 개의 치환 S,T 를 나란히 S T 라고 했을 때 이를 다음과 같이 정의하고 있습니다.
인용: |
ST = {x -> S(T(x)) | x ∈ Supp(T)} v {x -> S(x) | x ∈ Supp(T) \ Supp(S)}
|
여기서 Supp(T) \ Supp(S) 의 의미가 Supp(T) - Supp(S) 아닌가요?
그렇다면
인용: |
ST = {x -> S(T(x)) | x ∈ Supp(T)} v {x -> S(x) | x ∈ Supp(S) \ Supp(T)}
|
로 바뀌어야 할 것 같은데..
제가 잘못 이해하고 있는 부분이 있다면 알려주시면 감사하겠습니다. |
|