exception Reconnu

let reconnaitre automate str=

  let rec reconrec a s k=
    if String.length s = k then
      (if a.terminal then
 raise Reconnu
      else
 false)
    else
      match a.voisins with
   None -> false
 | Some vss ->
     for i=0 to (Array.length vss)-1 do
       let v=Array.get vss i in
  match v.conditions_darrive with
      None -> reconrec v s k
    | Some cdts ->
        for j=0 to (Array.length cdts)-1 do 
   if ( Char.compare s.[k] (Array.get cdts j) )=0 then
     reconrec v s (k+1)
   else
     false
        done
     done
  in
    try 
      reconrec automate str 0
    with
 Reconnu -> true