Fig. 8. State transition example for sequence constraints.

With two states, S₀ and S₁, and four possible inputs (A, T, C, and G) (a) that map to model probabilities (b): finite state transition diagrams for a model in which two consecutive G’s are forbidden (a) and probabilities as returned by the model (b).