Relacja silnie konfluentna: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
Jeśli komuś potrzebne "źródła" to w dyskusji cała sterta leży - tyle że definicje to nie fakty, nie mają źródeł |
|||
Linia 1:
'''Relacja silnie konfluentna''' (lub po prostu relacja konfluentna) to [[Relacja (matematyka)|relacja]] taka, że jeśli istnieje [[Ciąg (matematyka)|ciąg]] elementów będących w stosunku do siebie kolejno w relacji prowadzący od <math>a</math> do <math>b</math> oraz ciąg od <math>a</math> do <math>c</math> o tej samej własności, to istnieje takie <math>d</math>, że istnieją ciągi elementów będących kolejno względem siebie w relacji z <math>b</math> do <math>d</math> oraz z <math>c</math> do <math>d</math>. Mówiąc językiem [[teoria grafów|teorii grafów]], jeśli się rozejdziemy, zawsze potrafimy się ponownie zejść.
|