Definition & Interpretation

M = < X, Sp, Sa, Y, d int , d ext , l >

Definition et Interpretation

d ext : Sp x X Sp U Sa

The external transition function permits to specify the

next state on occurrence of an external event

(external transition)

d int : Sa Sp U Sa

The internal transition function permits to specify the

next state for an autonomous state change

(internal transition)

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica