Implemented correspondence between HMMs and MMs, deriving "observe" and "sequenceP".