AFND --> AFD