Buenas tardes Joaquín,
Resuesta corta: [spr] y [prs] son equivalentes
Respuesta larga: lo que estamos haciendo en ese algoritmo es agrupar estados en superestados. Es decir, estamos intentando que el AFD funcione de manera que "represente" varios estados del AFND "a la vez" (que represente las transiciones y las características de ese grupo de estados). Por lo tanto, al representar varios estados, no se necesita una noción de orden: el estado que representa el comportamiento en conjunto de [prs] es el mismo que el de [spr] y que el de [rsp], etc.
Como pique asociado a esto, yo siempre les recomiendo que escriban los estados dentro del superestado con algún criterio de orden, por ejemplo alfabéticamente: si tengo q3, q1 y q4, ese superestado se va a llamar [q1q3q4] (o [q134], que es lo mismo). En el caso que preguntás, específicamente, sería: [prs].
Cualquier cosa, a las órdenes :)
Saludos,
Santi