Please enable JavaScript.
Coggle requires JavaScript to display documents.
Não determinismo - Coggle Diagram
Não determinismo
Importante mecanismo na descrição abstrata, pois pode definir o rumo dos passos posteriores
-
SELECT
Similar ao CHOICE, mas demonstra uma peculiaridade estrita
-
PRE
Já visto em aulas anteriores, o PRE denota um não determinismo pois ele não garante o resultado da sua operação mas sim as pré condições para que ela ocorra
Any
ANY X WHERE Q THEN T END
Q é um predicado
-
Exemplo: ANY x, y WHERE x : NATUAL & y : NATURAL THEN sum := x + y END
-
-
LET
Similar ao ANY, serve também para atribuição