Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:musteranwendung

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen gezeigt.

Link zu dieser Vergleichsansicht

glossar:musteranwendung [2014/09/24 16:43] (aktuell)
Zeile 1: Zeile 1:
 +====== Musteranwendung ======
 +//engl.:// **pattern matching**
 +===== Bedeutung ======
 +Ein Muster M mit Bezeichnern b1, ..., bk passt auf einen strukturierten Wert w (engl.: a pattern matches a value w), wenn es eine Substitution der Bezeichner bj in M durch Werte vj gibt, in Zeichen M[v1/b1, ..., vk/bk], so dass M[v1/b1, ...,vk/bk] = w
 +
  
glossar/musteranwendung.txt · Zuletzt geändert: 2014/09/24 16:43 (Externe Bearbeitung)