>>For 0 < α < 1 and random being a generator of uniformly distributed reals between 0 and 1, the linear operator corresponding to the program if random < α then P else Q is a linear combination of the linear operators corresponding to programs P and Q with coefficients α and 1−α.
Это звучит очень похоже на то, что было у меня здесь: Тогда конструкция if-else точно есть в Set(относительно декартова произведения), вроде бы присутствует в Vect (относительно тензорного), во всяком случае для конечномерных, и в Top вроде тоже есть (гомотопия, относительно произведения топ. пространств), но кажется в Top не может быть while.
no subject
linear operator corresponding to the program if random < α then P else Q is a linear combination of
the linear operators corresponding to programs P and Q with coefficients α and 1−α.
Это звучит очень похоже на то, что было у меня здесь: Тогда конструкция if-else точно есть в Set(относительно декартова произведения), вроде бы присутствует в Vect (относительно тензорного), во всяком случае для конечномерных, и в Top вроде тоже есть (гомотопия, относительно произведения топ. пространств), но кажется в Top не может быть while.