For simplicity of code, we assume that the observation sequence obs is non-empty and that trans_p and emit_p is defined for all states i,j.
Ради једноставности кода претпоставимо да је секвенца запажања obs непразна и да су trans_p и emit_p дефинисани за сва стања i,j.