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
Definizione Per macchina a stati finiti (MSF) s’intende un’entità che esegue automaticamente, cioè senza interventi dall’esterno, un certo insieme di istruzioni.
Problema e soluzione algoritmica (1) Un esempio AB
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
Soluzione in termini di funzione (1) Stimolo-risposta
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
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
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