Konfluenz und Normalformen

• Satz: ∀R : CR(R)⇒UNC(R)

• Gegenbeispiel für ⇐ (3 Elemente, keine Normalformen)

• Beweis: falls Nf∋y₁(←∪→)^*y₂∈Nf

  dann wegen CR: ∃z, i, j : y₁→ⁱz←^jy₂

  aus y₁∈Nf folgt i = 0, aus y₂∈Nf folgt j = 0,

  also y₁→⁰⋅←⁰y₂, also y₁ = y₂