Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:musteranwendung

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)