109.8 병합 연산(Merge Operation)의 형식적 정의와 어휘 확장 과정