Esta es una solución al problema del barbero durmiente.