Utilisation des automates finis : recherche de motifs, analyse lexicale. 5. .... bles,
c'est-à-dire si, pour tout état q de Q, il existe un mot u de ?? et un état initial .....
états passe ici par le calcul d'un automate déterministe, avec une complexité en
.... Les exemples et les exercices sur le lemme d'itération abondent dans les
livres. 
