Please enable JavaScript.

Coggle requires JavaScript to display documents.

Não determinismo - Coggle Diagram

- - - - Exemplo: COICHE a := 1 OR a := 2 OR a:= 3 END
  - - - Tem uma visão para uma declaração randomica, em B podemos implementar esta declaração da seguinte maneira
        
        xx :: S
  - - - Q é um predicado
        
        Exemplo: ANY n WHERE n: NATURAL1 THEN total := total * n END
        
        Exemplo: ANY x, y WHERE x : NATUAL & y : NATURAL THEN sum := x + y END
      - T é um comando da máquina
      - X é uma nova variavel