1
/* La version C de la fonction determ__reconnait */
5
value reconnait(automate, chaine)
6
value automate, chaine;
8
value etat_courant, transition;
11
etat_courant = automate;
12
longueur = string_length(chaine);
13
for (i = 0; i < longueur; i++) {
14
transition = Field(Field(etat_courant, 0), Byte_u(chaine, i));
15
if (Tag_val(transition) == 1) return Val_false;
16
etat_courant = Field(transition, 0);
18
return Field(etat_courant, 1);