[장민석]

강의 노트 관련 질문입니다.

오늘 배운 람다 칼큘러스 관련 강의 노트 4번째 장(그러니까 4-4라고 적혀있는 페이지)을 보면 다음과 같은 substitution 식이 있습니다.

[박대준]

S = {e1/x1, e2/x2, ... , en/xn} 이라고 했을 때,
Supp(S)는 "support set of S"라는 의미로써, substitutee 변수들의 집합인 {x1, ... , xn}를 나타냅니다.
S를 변수에서 식으로 가는(Var -> Exp) 부분 함수(partial function)라고 생각한다면, S의 정의역이 바로 Supp(S)를 의미한다고 할 수 있습니다.

또한, 언급하신 식에서 3번 나타나는 u는 합집합 기호입니다.
이 때, 두번째 u와 세번째 u는 일반 합집합 기호이지만,
첫번째 U는 일반 합집합 기호를 다음과 같이 약간 확장한 것입니다.

[장민석]

답변에 감사드립니다.

추가적으로 몇 가지 질문드릴 것이 있습니다.

[박대준]

제가 장민석님의 질문을 제대로 이해했다면, 맞습니다.