50 likes | 198 Views
Uso degli automi. Automa FSA : quadrupla (S, s 0 S, I, f: SxI->S) Deterministici, non-deterministici o stocastici Ottimi per modellare attività costituite da sequenze di operazioni Problemi nel modellare la concorrenza e la sincronizzazione multiutente. Buffered producer-consumer.
E N D
Uso degli automi • Automa FSA : quadrupla (S, s0 S, I, f: SxI->S) • Deterministici, non-deterministici o stocastici • Ottimi per modellare attività costituite da sequenze di operazioni • Problemi nel modellare la concorrenza e la sincronizzazione multiutente
FINE Composizione di automi • Costruzione dell’automa composto sul prodotto cartesiano degli insiemi degli stati degli automi componenti • C’è il problema della proliferazione degli stati