composite 실습

composite 실습

상수(소문자) : f(a) / 변수(대문자)

s1 = {g(X,Y)/Z}    S2 = {a/X, b/Y, c/W, d/Z}

1) composition s1s2

s1s2 = { g(a,b)/Z, a/X, b/Y, c/W}

2) composition s2s1

s2s1 = {a/X, b/Y, c/W, d/Z}

#Step 1. 합성 순서대로 합집합 연산

#Step 2. 상수 쪽이 변수인 것을 상수화 함.

#Step 3. 중복 되는 것(X/X, 또는 a/X와 b/X)을 우선순위에 따라 제거. 보통 왼쪽이 우선순위가 높음