Pattern matching

Alfabeto: insieme finito di caratteri Stringa su alfabeto: sequenza lineare di elementi di , Insieme di stringhe definite su : insieme di tutte le stringhe di lunghezza finita sull’alfabeto .

title: Esempio
- $\sum = \{0, 1\}$, con stringa $\alpha = 0100011101010$ numero binario. $\sum \ast$ è l'insieme di numeri binari di qualunque lunghezza
- $\sum=\{a, c, g, t\}$ con stringa $\alpha=acctgtca$ porzione di DNA

La stringa vuota è definita con . è una sottostringa di se esistono due stringhe eventualmente vuote tale che . , è prefisso di , è suffisso di

Concatenazione

Date due stringhe e sullo stesso alfabeto , la concatenazione è data dalla giustapposizione di e

Potenza

Data una stringa su un alfabeto , la potenza k-esima è la concatenazione di con se stessa k volte

Occorrenza

Se è una sottostringa di , allora contiene almeno un’occorrenza di

Se e , occorre alla posizione k di , e occorre alla posizione 3 in .

Allineamento

L’allineamento di una stringa alla posizione i della stringa è la sovrapposizione ideale di con la sottostringa .

Allineamento con successo

Esiste un’occorrenza della stringa alla posizione i della stringa

Allineamento fallito

Non esiste un’occorrenza della stringa alla posizione i della stringa

asd_43