let is_accepted memo maq =
  let (laqui, restante) = memo in
  let (trans,init,accept)= maq in
  restante=[]&& (exists (fun x -> mem x accept) laqui)