GLI AUTOMI INGRESSIUSCITE Un Automa è un sistema con le seguenti caratteristiche: 1.Dinamico : evolve nel tempo; 2.Invariante : la risposta del sistema.

Presentazione sul tema: "GLI AUTOMI INGRESSIUSCITE Un Automa è un sistema con le seguenti caratteristiche: 1.Dinamico : evolve nel tempo; 2.Invariante : la risposta del sistema."— Transcript della presentazione:

1 GLI AUTOMI INGRESSIUSCITE Un Automa è un sistema con le seguenti caratteristiche: 1.Dinamico : evolve nel tempo; 2.Invariante : la risposta del sistema a una sollecitazione è la stessa indipendentemente dall’istante di tempo in cui è applicata; 3.Discreto nell’avanzamento: quando è discreto l’insieme dei tempi, cioè il sistema può essere analizzato in precisi istanti di tempo. 4.Gli insieme degli ingressi e delle uscite sono composti da un numero finito di elementi Noi studieremo un caso particolare di automa quello a stati finito.(automa di controllo:scheda madre) Ing.Pecorone Ernesto

2 GLI AUTOMIA STATI FINITI L’insieme degli stati è composto da un numero di stati finito Definiamo con: I : l’insieme degli ingressi U: l’insieme delle uscite S: l’insieme degli stati finiti interni F: Funzione di transizione che fa passare da uno stato all’altro G: La funzione di trasformazione che determina il valore delle uscite INGRESSIUSCITE Ing.Pecorone Ernesto

3 GLI AUTOMIA RICONOSCITORI Riconoscono una sequenza di simboli tra tutti quelli dati in ingresso ( se una stringa fa parte o no di un determinato linguaggio) Uscita, sarà si se riconosce la stringa oppure no se non la riconosce Ing.Pecorone Ernesto 0110si 0111no

4 Come si rappresentano gli automi? 1.Diagramma di stato(modello grafico) 2.Tabella di transizione(modello matematico) 3.Programma (modello logico) S Stato dell’automa Diagramma di Stato Input/output S1S1 S2S2 Moneta/Lattina S0S0 Stato iniziale SfSf STATO FINALE NEGLI AUTOMI RICONOSCITORI TRANSIZIONE DI STATO Ing.Pecorone Ernesto

5 AUTOMA DISTRIBUTORE DI LATTINE I ={MONETA} U={NIENTE,LATTINA} S={S1,S2} S1 STATO INIZIALE O FINALE S2 HO UNA MONETA S1S2 MONETA/NIENTE EMETTE LATTINA SE INSERISCO DUE MONETE MONETA/LATTINA Ing.Pecorone Ernesto

6 AUTOMA ASCENSORE Ascensore per palazzina di 2 piani 1° Passo: analisi delle specifiche e formalizzazione I={T,1,2,  } U={Terra,Primo,Secondo,SOS} S={pianoT, Piano1, Piano2} S0S0 S2S2 S1S1 2° passo: sintesi del diagramma di stato 1/Primo 2/Secondo T/Terra 2/Secondo 1/Primo T/Terra 1/Primo 2/Secondo Ing.Pecorone Ernesto

7 RAPPRESENTAZIONE DI AUTOMI CON LE TABELLE DI TRANSIZIONE La tabella di transizione sono tabelle con un numero di righe pari al numero degli stati dell’automa ed il numero di colonne pari al numero dei diversi ingressi. Le celle contengono una coppia formata dallo stato successivo e dall’uscita da emettere S0S0 S2S2 S1S1 1/Primo 2/Secondo T/Terra 2/Secondo T/Terra 1/Primo 2/Secondo TERRA12 S0S0 S1S1 S2S2 STATO SUCCESSIVO USCITA

8 Ing.Pecorone Ernesto GLI AUTOMI RICONOSCITORI SIMBOLI IN INGRESSO (0,1) Riconosce la stringa o non riconosce la stringa Insieme caratteristici dell’automa I={0,1} U={N,R} N= non è stata riconosciuta alcuna sequenza 010 R= è stata riconosciuta la sequenza 010 S={A,B,C} A= stato iniziale B= è stato riconosciuto la sequenza 0 C= è stato riconosciuto la sequenza 01 C A B 0/N 1/N0/N 1/N 0/R AMMETTE RIPETIZIONINON AMMETTE RIPETIZIONE 0/R STATO\INGR 01 A B C STATO\USCITA B\NA\N B\NC\N A\RA\N