알고리즘적으로 표현되는 항상 종료되는 역 계산을 위한 모델

Forest는 M-SRL보다 알고리즘적으로 더 표현력이 뛰어나며, 항상 종료되는 특성을 갖는다.