Relacja słabo konfluentna
Z Wikipedii
Relacja słabo konfluentna to relacja taka, że dla dowolnych a,b,c takich że a jest w relacji z b i a jest w relacji z c, istnieją takie ciągi skończone zaczynające się odpowiednio od b i c, które mają wspólny element końcowy d.
Przykład:
Na rysunku ciąg z b liczy pięć elementów, zaś ciąg z c - cztery.
W reprezentacji grafowej relacji oznacza to, że jeśli z jednego węzła rozejdziemy się o jeden krok, to możemy wybrać takie drogi, żeby się ponownie spotkać. Jeśli jest to prawda dla rozejścia się o dowolną skończoną liczbę kroków, to relacja jest silnie konfluentna.
