Repetição



next up previous contents
Next: Alguns Casos Particulares Up: Especificação do Comportamento Previous: Alternativa

Repetição

Finalmente, a repetição

exp
é representada por uma rede em que é adicionada uma transição da marcação final de exp para a sua marcação inicial (rede da fig. 18).

  
Figure 18: Rede para o Operador de Repetição

Para expressar o facto de que a expressão não termina, esta rede não tem marcação final. Deste modo, nas expressões

exp1exp2
exp1+exp2
não é efectuada a unificação entre as marcações finais de exp2 e de exp1(que não existe), sendo a marcação final das expressões a de exp2.



Jose Franscisco Creissac Campos
Wed Jan 31 20:30:35 MET 1996