Thanks! It’s supposed to be , with the formula in the post defining the measure via its marginal probabilities on finite prefixes.
Thanks! It’s supposed to be , with the formula in the post defining the measure via its marginal probabilities on finite prefixes.