Relacja silnie konfluentna: Różnice pomiędzy wersjami

Na przykład system złożony z liczb całkowitych, symbolu +, oraz reguły redukcji zastępującej parę liczb po obu stronach symbolu + ich sumą jest silnie konfluentny. Rozpatrzmy dwie redukcje:

* 2 + 3 + 4 + 5 + 6 → 2 + 3 + 4 + 11

Można je doprowadzić do tego samego wyniku:

* 2 + 3 + 4 + 11 → 2 + 3 + 15 → 2 + 18 → 20