Diamond Lemma

Diamond Lemma

In der theoretischen Informatik besagt das Diamond Lemma (auch: der Satz von Newman, nach Max Newman), dass eine fundierte Relation genau dann konfluent ist, wenn sie lokal konfluent ist.

Dieses Resultat ist die Grundlage zur Entscheidbarkeit der Konfluenz bei terminierenden Termersetzungssystemen.

Da das Diagramm im Beweis dieses Satzes entfernt an einen Diamanten erinnert, hat er diesen Namen bekommen.


Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Konfluenz (Informatik) — Konfluenz in einem Termersetzungssystem Konfluenz ist ein Begriff aus der Theoretischen Informatik und bezeichnet die Eigenschaft eines Transitionssystems, jedem Element höchstens eine Normalform zuzuordnen. Das heißt, wenn ein Element oder ein… …   Deutsch Wikipedia

  • Satz von Newman — In der theoretischen Informatik besagt das Diamond Lemma (auch: der Satz von Newman, nach Max Newman), dass eine fundierte Relation genau dann konfluent ist, wenn sie lokal konfluent ist. Dieses Resultat ist die Grundlage zur Entscheidbarkeit der …   Deutsch Wikipedia

  • Базис Грёбнера — некоторого идеала I алгебры многочленов относительно порядка « » на мономах  это конечное множество G многочленов из такое, что старший (относительно ) член каждого многочлена из I делится на старший член хотя бы одного многочлена из G. При… …   Википедия

  • List of mathematics articles (D) — NOTOC D D distribution D module D D Agostino s K squared test D Alembert Euler condition D Alembert operator D Alembert s formula D Alembert s paradox D Alembert s principle Dagger category Dagger compact category Dagger symmetric monoidal… …   Wikipedia

  • Bluemovie — Porno Akteure erhalten während eines Drehs Regieanweisungen (München 2004) Pornografie ist die direkte Darstellung der menschlichen Sexualität oder des Sexualakts mit dem Ziel, den Betrachter sexuell zu erregen, wobei die Geschlechtsorgane in… …   Deutsch Wikipedia

  • Geschichte der Pornografie — Porno Akteure erhalten während eines Drehs Regieanweisungen (München 2004) Pornografie ist die direkte Darstellung der menschlichen Sexualität oder des Sexualakts mit dem Ziel, den Betrachter sexuell zu erregen, wobei die Geschlechtsorgane in… …   Deutsch Wikipedia

  • Hardcore-Pornographie — Porno Akteure erhalten während eines Drehs Regieanweisungen (München 2004) Pornografie ist die direkte Darstellung der menschlichen Sexualität oder des Sexualakts mit dem Ziel, den Betrachter sexuell zu erregen, wobei die Geschlechtsorgane in… …   Deutsch Wikipedia

  • Porn — Porno Akteure erhalten während eines Drehs Regieanweisungen (München 2004) Pornografie ist die direkte Darstellung der menschlichen Sexualität oder des Sexualakts mit dem Ziel, den Betrachter sexuell zu erregen, wobei die Geschlechtsorgane in… …   Deutsch Wikipedia

  • Pornografie — Französische Karikatur aus dem 19. Jahrhundert Pornografie ist die direkte Darstellung der menschlichen Sexualität oder des Sexualakts mit dem Ziel, den Betrachter sexuell zu erregen, wobei die Geschlechtsorgane in ihrer sexuellen Aktivität… …   Deutsch Wikipedia

  • Pornographie — Porno Akteure erhalten während eines Drehs Regieanweisungen (München 2004) Pornografie ist die direkte Darstellung der menschlichen Sexualität oder des Sexualakts mit dem Ziel, den Betrachter sexuell zu erregen, wobei die Geschlechtsorgane in… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”