Selon le cours, étant donné un motif p, on peut construire un automate Il s'agit de compiler un motif en un automate non-déterministe,