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

Drugą ważną właściwością systemów silnie konfluentnych jest unikalność [[postać normalna|postaci normalnych]]. Postać normalna to element, którego nie da się zredukować. Element <math>a</math> ma postać normalną <math>b</math>, jeśli istnieje ciąg redukcji z <math>a</math> do <math>b</math>. Element nie może mieć dwóch postaci normalnych, ponieważ musiałyby one redukować się do wspólnego wyrażenia, zaś postać normalna jest z definicji nieredukowalna. W dalszym ciągu element ten może jednak nie mieć żadnej postaci normalnej. W przedstawionym powyżej systemie postaciami normalnymi są samodzielne liczby bez żadnych znaków +.

 

[[Kategoria:Logika]]