Untimed Formalism: Extended Automata

impossible with a classical automaton

to specify ‘cleanly ' a sequence of output events

for only one input event

Example of Problem that creates this situation

Autonomous state changes can not be specified

with classical automata

In classical automata no difference between

steady states and transitory states

In real Systems two types of state changes :

Autonomous state changes -

State changes due to external events

Untimed formalism: 3- Extended Automata

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica