Exercícios

1.

Considere o programa para calcular o máximo divisor comum apresentado na figura 1.1.

(a)

Usando a notação dada nas aulas teóricas, escreva o FTS correspondente a esse programa.

(b)

Traduza o FTS obtido para a notação do STeP e tente lê-lo para o STeP.

(c)

Compare a sua solução com o FTS gerado automaticamente pelo STeP.

2.

Considere o programa apresentado na figura 1.6 que pretende resolver o problema da exclusão mútua entre dois processos utilizando semáforos. Traduza o FTS gerado automaticamente pelo STeP para esse programa para a notação dada nas aulas teóricas.

  

Figure 3.2: Exemplo de um FTS

Transition System

in       N : int
local    a : int
local    i : int
out      x : int

control  pi0 : [0..2]

Initially (x = 1 /\ (a,i) = (0,0) /\ 0 <= N) /\ pi0 = 0

Transition T1 Just:
    enable     pi0 = 0 /\ ~(i = N)
    assign     pi0 := 1

;
    enable     pi0 = 0 /\ i = N
    assign     pi0 := 2


Transition T2 Just:
    enable     pi0 = 1
    assign     pi0 := 0,a := x,i := i + 1,x := x + a

3.

Considere o FTS apresentado na figura 3.2.

(a)

Tente escrever o programa SPL que possa ter originado esse sistema de transição.

(b)

Para que serve o programa especificado por esse FTS?