afnd -> afd (sin transiciones vacias)