La probabilidad de que un programa elegido al azar se detenga es representada por el número Ω.