Pattern Matching

Pattern Matching (englisch für Musterabgleich) oder musterbasierte Suche ist ein Begriff für symbolverarbeitende Verfahren, die anhand eines vorgegebenen Musters diskrete Strukturen oder Teilmengen einer diskreten Struktur identifizieren.

Das Pattern Matching ist beispielsweise eine Methode der phylogenetischen Analyse in der Bioinformatik.

Grundlagen

Eine diskrete Struktur besteht aus diskreten Elementen (Symbolen) und Beziehungen zwischen diesen. Beispiele sind Zeichenketten, aber auch Bäume oder Graphen. Das Suchmuster selbst ist ebenfalls eine diskrete Struktur, die aber durch Verwendung zusätzlicher Metazeichen eine ganze Klasse von Strukturen beschreiben kann. Im Gegensatz zur Mustererkennung, die kontinuierliche Strukturen interpretiert, operiert das Pattern Matching von vornherein auf einer symbolischen Repräsentation.

Das Pattern Matching spielt jedoch nicht nur bei der Suche, sondern auch bei der muster- und regelbasierten Transformation diskreter Strukturen eine zentrale Rolle. In Ersetzungs- oder Transformationssystemen bildet das Pattern Matching den ersten Schritt. Dabei werden Teile des Musters mit Teilen der analysierten Struktur identifiziert. Die gefundenen Teil-Strukturen gehen dann als Parameter in die Transformationsfunktion ein. Beispiele für solche Transformationen sind Textersetzung in Zeichenketten und Graphersetzungssysteme.

Anwendungsgebiete

Programmierung

In einigen funktionalen oder logischen Programmiersprachen wird Pattern Matching genutzt, um Daten anhand ihrer Struktur zu verarbeiten (z. B.: Scala, Objective CAML, ML, Haskell, Erlang, Opal, Python).

Beispiel Fallunterscheidung: Eine mögliche Definition der n-ten Fibonaccizahl ist:

Diese Definition kann so mithilfe von Pattern Matching direkt nach Haskell übertragen werden.

-- Matcht die ersten beiden Fälle
fib 0 = 0
fib 1 = 1
-- Alle anderen Zahlen n sind definiert als
fib n = fib(n-1) + fib(n-2)

Beispiel: In Haskell werden die Argumente in einer Funktionsdefinition mit Pattern gematcht. Ein Pattern kann, muss aber nicht, wie im vorherigen Beispiel, ein elementarer Wert (zum Beispiel 0) sein, sondern kann auch einen Daten-Konstruktor beschreiben.

-- matcht die leere Liste (Konstruktor [])
f [] = ...
-- matcht alle Listen der Länge > 0 (Konstruktor :), wobei x den Kopf und xs den Listenrest enthält
f (x:xs) = ...

Das äquivalente Beispiel in der Syntax von Python (ab Version 3.10):[1]

match n:
    case (): ...
    case (x, *xs): ...

Textverarbeitung

Pattern Matching wird auch verwendet, um Text zu bearbeiten. In Programmiersprachen wie Perl oder awk und auch in den meisten Texteditoren existieren Werkzeuge, um einen Text nach einem Muster zu durchsuchen. Die Muster bestehen aus regulären Ausdrücken.

Siehe auch

Literatur

  • Simon Peyton Jones (Hrsg.): Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, 2003, ISBN 0-521-82614-4 (HTML-Version – Abschnitt 3.17, HTML-Version).
  • Richard Bird: Introduction to Functional Programming using Haskell. 2. Auflage. Prentice Hall Europe, 1998, ISBN 0-13-484346-0.

Einzelnachweise

  1. Daniel F. Moisset: PEP 636 – Structural Pattern Matching: Tutorial. In: python.org. 12. September 2020, abgerufen am 28. Juni 2022 (englisch).