 The n-th state of the path is denoted as formula_16
and the prefix of formula_13 of length formula_18 is denoted as formula_19.A probability measure formula_20 of the set of path with the common prefix of length formula_18 is equal to the product of transitions probabilities along the prefix of the path