정축소(well-defined reduction)와 국부적최적축소 (locally optimal reduction)라는 새로운 형식론을 도입하여 주어진 LR(k)구문분석기의 상태들을 정적으로 병합하는 문제를 다룬다. 또 정축소와 국부적 최적축소를 계산하는 알고리즘을 제안하고, LR(k)상태들을 생성해가며 병합하는 동적인 방법과의 차이점에 대해 논한다. 위에서 '국부적'이라함은 현재의 코아블록에서의 최적병합이 반드시 다른 코아블록에서의 최적병합을 보장하지 않음을 의미한다.