 Let formula_10 and formula_11 be discrete-time stochastic processes and formula_12.The pair formula_13 is a "hidden markov model" if


for every formula_16 formula_17 and an arbitrary (measurable) set formula_18.The states of the process formula_10 are called "hidden states", and formula_20 is called "emission probability" or "output probability".