AUTOMA A STATI FINITI

Транскрипт

1 Gli Automi Un Automa è un dispositivo, o un suo modello in forma di macchina sequenziale, creato per eseguire un particolare compito, che può trovarsi in diverse configurazioni più o meno complesse caratterizzate primariamente da una variabile che appartiene ad un determinato insieme di stati, e che evolve in base agli stimoli od ordini ricevuti in ingresso schematizzati da simboli appartenenti ad un determinato alfabeto. Sono così esempi di automi una lavatrice, un distributore automatico di bibite..ecc E' possibile studiare un automa da due punti di vista: da un punto di vista tecnico ci s interessa dei suoi componenti materiali, meccanici o elettronici, e dei suoi principi fisici che ne rendono possibile il funzionamento; da un punto di vista matematico c'interessa invece la "logica" del suo comportamento e l automa è perciò visto come un oggetto astratto "capace" di eseguire qualche compito. Ad esempio, due automi capaci di eseguire un addizione sono l automa uomo e l automa calcolatrice, molto diversi da un punto di vista tecnico-fisico, ma che si comportano nello stesso modo di fronte a due numeri da addizionare. Il grafo, chiamato diagramma degli stati, ha come nodi gli stati possibili dell automa; gli archi rappresentano le relazioni di passaggio da uno stato all altro, secondo il particolare input. La matrice, chiamata tabella di verità o degli stati, è una tabella in cui ogni casella specifica il successivo stato e l output dell automa se esso si trova in un determinato stato e riceve un certo input. Per esempio osserviamo un distributore automatico di bevande dà una lattina quando s inseriscono due monete. Il diagrammi degli stati è il seguente: Nell arco che va dallo stato di "in attesa" allo stato di "pronto" la scrittura "moneta/lattina" indica che, in corrispondenza dell input "moneta" è fornito l output "lattina". Come si vede, non sempre un automa fornisce un output. La tabella di verità è la seguente:

2 Gli stati di un automa rappresentano i suoi stati di memoria; un automa, infatti, si trova in uno o in un altro stato secondo ciò che è successo in precedenza. Secondo lo stato in cui si trova e dell input che riceve, l automa stabilisce il suo comportamento, passando in un nuovo stato ed eventualmente fornendo un output. Gli automi con memoria limitata, e comunque finita poiché hanno un numero finito di stati: sono chiamati automi a stati finiti. AUTOMA A STATI FINITI Gli automi a stati con memoria limitata, e comunque finita poiché hanno un numero finito di stati: sono chiamati automi a stati finiti. Più precisamente definiamo automa a stati finiti un sistema dinamico, discreto ed invariante, in cui gli insiemi d ingresso, di uscita e di stato sono finiti. Il sistema può trovarsi in un qualsiasi stato interno fra quelli, in numero finito, che definiscono l automa. Una classe di automi particolarmente importante è quella degli automi in grado di riconoscere se una stringa fa parte o meno di un determinato linguaggio: automi riconoscitori. Gli automi riconoscitori, in pratica, sono sistemi che, dopo l ingresso dell ultimo simbolo della sequenza, rispondono con un "si" se questa è stata riconosciuta e con un "no" in caso contrario. Un automa a stati finiti di questo tipo consiste di un insieme finito di stati e di un insieme finito di transizioni da uno stato all altro. Per ogni coppia distinta formata da uno stato dell automa (stato di partenza) e da un simbolo dell alfabeto, esiste una transizione ad uno stato di arrivo. Il simbolo della coppia si dice associato alla transizione, o anche che la transizione "accetta il simbolo". Lo stato di arrivo può anche coincidere con lo stato di partenza. Ogni automa a stati finiti è associato univocamente ad un grafo orientato (in inglese direct graph) chiamato diagramma di transizione (in inglese transition diagram). I nodi del grafo coincidono con gli stati dell automa. Se esiste una transizione dallo stato q allo stato p con a come simbolo associato, allora esiste un arco orientato dal nodo q al nodo p ed etichettato con il simbolo a. Per questa ragione gli automi a stati finiti vengono anche detti reti di transizione a stati finiti (FSTN, finite state transition network, in inglese). Si dice che il grafo accetta la stringa x, costruita con i simboli dell alfabeto predeterminato, se esiste una sequenza di transizioni tali che, componendo la sequenza dei rispettivi simboli associati, si ottenga x. Inoltre la prima transizione di questa sequenza deve partire dallo stato iniziale e l ultima arrivare ad uno stato finale. Anche molti modelli astratti usati per rappresentare sistemi molto complessi come i sistemi economici, le reti di neuroni, i problemi di trasporto, e così via, possono essere agevolmente rappresentati attraverso automi a stati finiti. Per descrivere un automa occorre un modello matematico formato dalla quintupla: A = {S, I, U, f, g} dove: S è l insieme degli stati interni in cui può trovarsi; I è l insieme degli ingressi che è in grado di leggere; U è l insieme delle uscite che può produrre; f è la funzione di transizione che fa passare da uno stato al successivo g è la funzione che determina il valore delle uscite

3 FUNZIONE DI TRANSIZIONE Per fare in modo che la macchina sia in grado di aggiornare lo stato interno in base all input ricevuto, si utilizza la funzione di transizione Diamo ora un esempio di un automa che accetta solo stringhe con un numero pari di 1 o di 0. Un modo per definire l automa è tracciare il diagramma di transizione. Gli stati cerchiati due volte sono stati finali. Definiamo di seguito l automa con una tabella detta tabella degli stati costruita in questo modo: ogni riga è associata a uno stato q di partenza, ogni colonna ad un simbolo a, che in questo caso varrà uno o zero. Il tipo di automa così definito viene detto deterministico, perché per ogni stato è sempre possibile determinare univocamente quale transizione l automa effettui all ingresso di un dato simbolo. Far cadere il vincolo che per ogni stato esista sempre una ed una sola transizione associata ad un simbolo è equivalente ad affermare che possono esistere zero, una, o più transizioni che partono dal medesimo

4 stato con il medesimo simbolo di ingresso. In questo caso non è sempre possibile determinare univocamente quale transizione l automa effettui all ingresso di un dato simbolo. L automa si dice non deterministico. Per esemplificare definiamo un automa non deterministico che accetta qualsiasi stringa che contenga una coppia di 0 o di 1. Il diagramma di transizione è analogo con la differenza che gli archi hanno liste di simboli come etichette. La tabella degli stati sarà: Il linguaggio accettato da un automa a stati finiti è l insieme di tutte le stringhe accettate dall automa.

5 ESEMPI DI AUTOMI Descrizione Questo automa distribuisce lattine di un solo tipo dopo che sono state introdotte due monete di un unico valore. Se il distributore è spento si "mangia" la moneta eventualmente introdotta. Grafo Descrizione L'automa è un distributore di bevande che distribuisce due tipi di bevande emettendo una lattina dopo che sono state introdotte due monete da L.500 ed è stato scelto il tipo di bevanda. L'automa non restituisce monete. Grafo

6 Descrizione L'automa è ancora un distributore di bevande come il precedente. In questo caso però vengono restituite delle monete a richiesta o anche nel caso sia stata introdotta una moneta in eccedenza. Grafo Descrizione L'automa emette un gettone telefonico dopo che sono state inserite 200 lire. L'automa funziona con monete da 100 o da 200 lire e fornisce resto a richiesta. Insiemi

7 Grafo Descrizione L'automa emette in uscita un gettone telefonico dopo che sono state inserite due monete da L.100. L'automa funziona solo con monete da 100 lire. Insiemi Grafo

8 Descrizione L'automa emette un gettone telefonico dopo che sono state inserite 200 lire. L'automa funziona con monete da 100 o da 200 lire e non fornisce resto. Insiemi Grafo

9 Esempio di AUTOMA A STATI FINITI: TEORIA DELLE STRINGHE APPLICATA AGLI AUTOMI

10 RISOLVERE UN PROBLEMA: 1. Formulazione del problema in linguaggio naturale. Calcolare la lunghezza di una stringa 2. Formulazione del problema a blocchi. Stringa ==> Procedimento ==> Lunghezza 3. Individuare i tipi Stringa Lunghezza (N) Procedimento di calcolo della lunghezza (lg) 4. Costruire un semplice esempio: 1bis: Calcolare la lunghezza di "aacb" 2bis: aacb ==> Procedimento ==> 4 3bis: tipi: = (a, b, c) X= aacb Lg (aabc)= 4 5. Individuare cosa si deve calcolare:,,n sono noti. Lg è ignota. 6. Caratterizzare i dettagli ignoti Lg: ==> N Consideriamo casi particolari: 1. Lg( ) = 0 2. ==> Lg( ) =1 3. Lg ( X) = Lg( ) + Lg(X) = 1+ Lg(X) Funzione ricorsiva (Lg): Lg (λ) = 0 Lg( ) =1 ==> Lg ( X) = 1+ Lg(X)

11 7. Risultato in azione Lg (aabc) =1 + lg (abc) = lg (bc) = lg (c) = = 4 Esempio di ESPRESSIONI REGOLARI applicato agli Automi: