UFMG - Pós-graduação em Ciência da Computação - Programação Paralela

A seguir: Comandos de Entrada e Acima: Conceitos e Notações Anterior: Comandos de Atribuição -

Comandos de atribuição: Exemplos

Exemplo 1

x := x + 1

Exemplo 2

(x , y) := (y , x)

• troca x com y, usando construtores vazios;

Exemplo 3

x := cons(left, right)

• x recebe um valor estruturado pelo construtor cons;

Exemplo 4

cons(left,right) := x

• falha se x não tem a forma cons(y,z);

Exemplo 5

insert(n) := insert(2*x + 1)

• equivalente a n := 2*x + 1.

Exemplo 6

c := P()

• atribui a c um ``sinal'' com construtor P e sem componentes;

Exemplo 7

P() := c

• falha se o valor de c não é P(); não tem nenhum efeito nos outros casos;

Exemplo 8

insert(n) := has(n)

• falha sempre.