A simple choice for H y is a Markov process that emits characters in Σ ∪ {$}, where $ is a distinguished stop symbol that indicates the end of the string.
the probability of producing $ controls the typical string length under H y .