/* La version C de la fonction determ__reconnait */ #include "mlvalues.h" value reconnait(automate, chaine) value automate, chaine; { value etat_courant, transition; int i, longueur; etat_courant = automate; longueur = string_length(chaine); for (i = 0; i < longueur; i++) { transition = Field(Field(etat_courant, 0), Byte_u(chaine, i)); if (Tag_val(transition) == 1) return Val_false; etat_courant = Field(transition, 0); } return Field(etat_courant, 1); }