very appreciate your effort to take context into consideration when calculating entropy.
but your proof of equation (9) is the same as song'paper, which means the entropy in equation (9) should be real entropy of time series rather than context-transition entropy you proposed.
can you explain this problem to me?