A walkthrough of Algorithm 1: risk-compatible DFA induction. The data are a toy example, but each merge is computed by the algorithm implemented on this page. Every compatibility calculation can be inspected.
Representatives R (red)Frontier B (blue)Current v / target uBelow each node: m/n = positives / support