레데퍼 행렬
정수의 가해성(divisibility) 구조를 나타내는 n x n 행렬이다. 이 행렬의 역행렬은 뫼비우스 함수 값을 포함하며, 본문에서는 문맥의 구조적 정보를 추출하고 재구성하는 이론적 근거로 활용됐다.