Mientras en un AFD esta función se define de la siguiente manera: