Scarica Breve riassunto sugli automi e più Appunti in PDF di Informatica solo su Docsity! AUTOMA: - sistema (insieme di parti che interagiscono fra loro x funzionare come unico elemento, hanno uno scopo comune) Dinamico: evolve nel tempo Ex. Lavatrice – prima nella lavatrice si mettono i vestiti, poi c’è l’acqua, poi si fa la centrifuga, quindi ci sono tutti i passaggi…evolve nel tempo Invariante: se io sollecito il sistema con gli stessi ingressi, la risposta del sistema sarà sempre la stessa, pure se questi ingressi saranno messi in instanti diversi Discreto nell’avanzamento: il sistema può essere analizzato in istanti precisi di tempo Non è un sistema continuo (ad esempio la lavatrice posso studiarla in istanti precisi, invece la vasca che si riempie d’acqua è un sistema continuo perché non posso dividere l’acqua che c’è adesso da quella che c’era prima) Numero finito di elementi: cioè un numero finito di ingressi e uscite AUTOMA A STATI FINITI: quando ha un certo numero di stati finiti Posso studiare tale stato finito quando ho tutti gli ingressi, tutte le uscite, tutti gli stati interni in cui si può trovare, la funzione di transizione (che fa passare da uno stato all’altro) e la funzione di trasformazione (che determina il valore delle uscite) RAPPRESENTAZIONE DEGLI AUTOMI Diagramma degli stati (modello grafico) Tabella di transizione (modello matematico) DIAGRAMMA DEGLI STATI: rappresentazione grafica con bolle e archi - Nelle bolle mettiamo gli stati dell’automa - Negli archi mettiamo le relazioni di passaggio da uno stato all’altro o Per rappresentare lo stato iniziale (è quello dal quale l’automa inizia a ricevere gli ingressi) si usa una freccia entrante o Per rappresentare lo stato finale si usano 2 cerchi concentrici Es. automa distributore automatico di bibite Il distributore accetta solo monete da un euro ed emette in uscita una lattina di aranciata, per fare ciò devo utilizzare 2 monete da un euro perché una lattina costa 2 euro Input=moneta. Uscita= lattina. Stati: iniziale e S2, non c’è stato finale Stato iniziale: macchinetta in attesa della prima moneta (S1: stato iniziale perché c’è la freccia) S2: macchinetta in attesa della seconda moneta (libro p148) Automa ascensore Ingressi: tutti i pulsanti dell’ascensore in base a quanti piani ci sono (in questo caso 4) Uscite: il piano a cui devo andare, che scelgo Stati: i piani in cui l’ascensore può sostare (libro p 150) TABELLE DI TRANSIZIONE: modello matematico, si rappresenta con 1 tabella in cui le righe sono gli stati e le colonne sono gli ingressi Le celle contengono lo stato successivo e l’uscita da emettere Es: distributore di bibite, devo mettere per forza monete da 1 euro e mi da la lattina di aranciata da 2 euro, metto nelle righe S1 e l’entrata è la moneta, in uscita avrò S2 che mi porta allo stato successivo ma non avrò nulla, ma se da S2 aggiungo un’altra moneta nella cella avrò come uscita lattina.
