Si se tiene un AFD = (Σ, Q, f, P (0), F, q), se puede obtener el AFP equivalente: