33. Controlled stochastic realization

Let \(\mathcal A\) and \(\mathcal O\) be finite nonempty action and observation sets. A symbol \(s=(a,o)\) records an action followed by an observation. A word \(w=s_1\cdots s_k\) has temporal order from left to right. The empty word is \(\epsilon\).