Scaricare la presentazione
La presentazione è in caricamento. Aspetta per favore
1
Ingegneria del software Modulo 1 -Introduzione al processo software Unità didattica 3 -Modelli di fase d’analisi Ernesto Damiani Università degli Studi di Milano Lezione 5 – Complementi sugli automi
2
Definizione Per macchina a stati finiti (MSF) s’intende un’entità che esegue automaticamente, cioè senza interventi dall’esterno, un certo insieme di istruzioni.
3
Problema e soluzione algoritmica (1) Un esempio AB
4
Problema e soluzione algoritmica (2) Un esempio inizia Un ostacolo impedisce di proseguire? Un passo avanti Gira a destra Sei fuori percorso ? finisci no si
5
Soluzione in termini di funzione (1) Stimolo-risposta
6
Soluzione in termini di funzione (2) Macchina ad input – I = {v,o,f} – O= {p,d,a} – f: I O I: v v o v v o v v f O: p p d p p d p p a
7
Insiemi di input e di output Parola su I è ogni sequenza finita di simboli di input (esempio vvovvovvf) Parola su O è ogni sequenza finita di simboli di output (esempio ppdppdppa) I={v,o,f} alfabeto di input O={p,d,a}alfabeto di output
8
Limitazioni delle macchine ad input Le macchine ad input, in cui la risposta in output dipende solo dallo stimolo di input, non sempre sono sufficienti per rappresentare la soluzione di un problema. FINE
Presentazioni simili
