99.4 마르코프 가정(Markov Assumption)과 유한 문맥 근사의 수학적 정당성