본 연구는 변수 차수 마르코프 모델을 활용하여 정규 제약을 처리하는 방법을 제시합니다. 기존 방법은 1차 마르코프 체인에 대한 BP-정규 메커니즘을 사용했지만, 본 연구는 이를 변수 차수 모델로 확장했습니다. 연구 결과는 고정된 컨텍스트 그래프와 오토마타에 대해 시퀀스 호라이즌에 선형적인 추론을 가능하게 합니다.