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