Semitensor Product Approach to Controllability, Reachability, and Stabilizability of Probabilistic Finite Automata

Figure 2

A probabilistic finite automata.