Conversión a un Autómata Finito Determinista
estadosD=cerradura-ε(S0) al comienzo es el único estado dentro de estadosD aún sin marcar.
while (haya un estado no marcado T en estadosD) {
marcar T;
for (cada símbolo de entrada a) {
U= cerradura-ε(mueve(T,a));
if (U no está en estadosD) {
añadir U como estado no marcado a estadosD;
}
tranD[T,a] = U;
}
}