Ajout de certaines conditions : teste de la présence du symbole dans l'alphabet, préparation de l'agencement du code pour les automates non déterministes.
Continuation du rapport