Construcción de subconjuntos
?-clausura(move(A, 0)) = ?-clausura({q2}) = {q2, q3} = B
?-clausura(move(A, 1)) = ?-clausura({q1, q2}) = {q1, q2, q3} = C
?-clausura(move(B, 1)) = ?-clausura(?) = ? = D
?-clausura(move(C, 1)) = ?-clausura({q1, q0}) = {q0, q1, q2, q3} = E
move(D, 0) = move(D, 1) = move(?, 0) = move(?, 1) = ? = D
?-clausura(q0) = A = {q0, q2, q3}