r3 - 25 Mar 2004 - 15:32:33 - OrloVYou are here: TWiki >  XSG Web > WhatIsNonDeterminism

Что такое недетерминизм?

Недетерминизм языка XSG означает, что функции в нем имеют сразу множество различных вариантов своего означивания, и интерпретатор должен справедливо перебирать все эти варианты, и выдавать по очереди все возможные ответы.

Примером другого языка, обладающего недетерминизмом в этом смысле является Пролог. В нем вообще нет функций и их изображают в виде предикатов (F(x, y, z) соответствует утверждению z = f(x, y)). А предикат F вполне может быть истинным на различных значениях z, даже при фиксированных x и y.

А вот, например, в Яве недетерминизм многонитевых несинхранизованых вычислений несколько другой.

Не надо путать недетерминизм с коарностью.

-- Andrei Mishchenko - 24 Mar 2004

Edit | WYSIWYG | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r3 < r2 < r1 | More topic actions
 
Powered by TWiki

This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback