Algorithmes de pattern matching :
| égalité |
équivalence des types source et destination |
{TTT(([TT]))}
{TTT(([TT]))}
|
| sous-chaîne | relation de facteur | {TTT(([TT]))}
([{T(P)}{TTT(([TT]))}{T(T)}])
|
|
sous-chaîne dispersée |
relation de massif | {T TT ( ([TT ]) )}
([{T([TTP])({T([TTP])})}])
|