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, 0)) = ?-clausura({q0, q2}) = {q0, q2, q3} = A
?-clausura(move(C, 1)) = ?-clausura({q1, q0}) = {q0, q1, q2, q3} = E
?-clausura(q0) = A = {q0, q2, q3}