Example 2.
An abstract hidden Markov model
