For a deterministic computation, th

For a deterministic computation, the ⇒ in Axiom 5.11 can be replaced by =. As an illustration, consider the following program, where nondeterminism plays a crucial role in deciding the value of x after every step:

Результаты (русский) 1:

Можно заменить детерминированного вычисления, ⇒ в Axiom 5.11 =. В качестве примера рассмотрим следующую программу, где детерминизма играет решающую роль в определении значения x после каждого шага:

Результаты (русский) 2:

Для детерминированного вычисления, то в ⇒ Axiom 5.11 можно заменить =. В качестве иллюстрации рассмотрим следующую программу, где недетерминизм играет решающую роль в принятии решений значение х после каждого шага:

Результаты (русский) 3:

для детерминистических расчета, ⇒ в аксиома 5.11 могут быть заменены =.в качестве иллюстрации, рассмотреть следующие программы, где nondeterminism играет решающую роль в определении стоимости х после каждого шага: