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.
Pro jednoduchost kódu předpokládáme, že posloupnost pozorování obs je neprázdná a že trans_p a emit_p jsou definované pro všechny stavy i,j.