Please enable JavaScript.

Coggle requires JavaScript to display documents.

Implementação - Coggle Diagram

- - - - Termina e não faz nada.
    - - xx := 10
      - Sequência de Atribuições
        
        xx := 10; yy := xx
    - - IF ... THEN ... ELSE ... END
      - E suas variações.
    - - CASE ... OF ... EITHER ... THEN ... OR ... THEN ... ELSE ... END
    - - WHILE ... DO ... INVARIANT ... VARIANT ... END
    - - BEGIN ... END
    - - VAR ... IN ... END
    - - Máquinas Importadas
        
        Operações de leitura
        
        Operações que modificam valores
      - Máquinas Vistas
        
        Operações de leitura
      - xx <-- op(yy)
      - Atribuições são diferentes de chamadas de operações.
      - Não podem ser usadas em condições.
  - - - xx
    - - aa(xx)
    - - xx + yy
      - xx - yy
      - - yy
      - xx * yy
      - xx / yy
      - xx MOD yy
      - Não podem ser usadas em condições.
    - - bool(cond)
  - - - &
    - - OR
    - - NOT
    - - xx = yy
      - xx /= yy
      - xx > yy
      - xx >= yy
      - xx < yy
      - xx <= yy
  - - - NAT
      - INTEGER
      - BOOL
      - Conjuntos definidos / enumerados