P es el conjunto de todos los programas que se paran.