| |||
nondeterministic computations (способ вычислений, при котором генерируются все возможные значения выражения, из которых затем ищутся те, которые удовлетворяют определённым ограничениям. В более общем смысле, вычисления считаются недетерминированными, если последовательность шагов и его результат непредсказуемы, т. е. при многократном исполнении программы с одним и тем же набором входных данных получаются разные результаты. Поддерживается в языках ИИ. Ant: deterministic computations ssn) | |||
| |||
non-deterministic evaluation (adacore.com Alex_Odeychuk) |