https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Diamond_Lemma 2026-06-02T17:40:42Z Versionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale Kopie MediaWiki 1.43.8 https://wiki-de.moshellshocker.dns64.de/index.php?title=Diamond_Lemma&diff=951895&oldid=prev 2023-10-21T12:33:31Z

<p>fix</p> <p><b>Neue Seite</b></p><div>In der [[Theoretische Informatik|theoretischen Informatik]] besagt das &#039;&#039;&#039;Diamond Lemma&#039;&#039;&#039; (auch: der &#039;&#039;&#039;Satz von Newman&#039;&#039;&#039;, nach [[Max Newman]]), dass eine [[fundiert]]e [[Relation (Philosophie)|Relation]] genau dann [[Konfluenz (Informatik)|konfluent]] ist, wenn sie [[Lokale Konfluenz|lokal konfluent]] ist.<br /> <br /> Dieses Resultat ist die Grundlage zur [[Entscheidbarkeit]] der Konfluenz bei [[Terminiertheit|terminierenden]] [[Termersetzungssystem]]en.<br /> <br /> Da das Diagramm im Beweis dieses Satzes entfernt an einen [[Diamant]]en erinnert, hat er diesen Namen bekommen.<br /> <br /> [[Kategorie:Theoretische Informatik]]</div>

imported>DCB