Fig. 4

The diagram shows the main states and transitions when \(\alpha = \infty\) and \(m\rightarrow \infty\). We use rectangles for sets of states and circles for the general form of the states in each set. The annotations for the transition probabilities are in the limit. When these probabilities go to 0 as \(m\rightarrow \infty\) we use dotted edges