Esempio teorema equivalenza Mealy-Moore

Slides:



Advertisements
Presentazioni simili
Automi temporizzati.
Advertisements

Introduzione ai circuiti elettronici digitali
Simulazione del calcolo di due numeri binari
Macchine sequenziali Capitolo 4.
Circuiti sequenziali ad impulsi
Equivalenze e Ordinamenti
Sintesi FSM – Prima parte
Circuiti di memorizzazione elementari: i Flip Flop
Analisi e sintesi di circuiti combinatori
Analisi e Sintesi di circuiti sequenziali
Rappresentazione dei numeri razionali
ANALOGICO-DIGITALI (ADC) DIGITALE-ANALOGICI (DAC)
Informatica 3 Codifica binaria.
ARCHITETTURA DEI SISTEMI ELETTRONICI
ARCHITETTURA DEI SISTEMI ELETTRONICI
A.S.E.25.1 ARCHITETTURA DEI SISTEMI ELETTRONICI LEZIONE N° 25 Reti sequenziali sincronizzate complesseReti sequenziali sincronizzate complesse –Macchina.
ARCHITETTURA DEI SISTEMI ELETTRONICI
ARCHITETTURA DEI SISTEMI ELETTRONICI
ARCHITETTURA DEI SISTEMI ELETTRONICI
1 Corso di Laurea in Biotecnologie Informatica (Programmazione) Rappresentazione dellinformazione su calcolatore Anno Accademico 2009/2010.
Corso di Informatica (Programmazione)
Algoritmi e strutture dati
Macchine sequenziali.
Macchine sequenziali.
Algoritmi e Strutture Dati
Analisi e Sintesi di circuiti sequenziali. Definizione Una macchina sequenziale é un sistema nel quale, detto I(t) l'insieme degli ingressi in t, O(t)
Lezione 5. Ricapitolando…. Sistemi P2P puri Sistemi UniformiSistemi Non uniformi Abbiamo detto abbastanza KoordeNeighbor of Neighbor routing (NON)
Ricapitolando…. Sistemi P2P puri Sistemi UniformiSistemi Non uniformi Abbiamo detto abbastanza KoordeNeighbor of Neighbor routing (NON)
AUTOMAZIONE DELLE ATTIVITA DUFFICIO Codice documento Titolo Pag. 1 / Tot Sottotitolo gg Mese aaaa Operazioni Posizioni organizzative TempoTempo Flusso.
Limiti al trasferimento di informazione u Il tempo necessario per trasmettere dellinformazione dipende da: –la velocita di segnalazione (cioe quanto velocemente.
Esempi di Automi a stati Finiti
Claudia Raibulet Algebra Booleana Claudia Raibulet
Corso di Laurea in Biotecnologie corso di Informatica Paolo Mereghetti DISCo – Dipartimento di Informatica, Sistemistica e Comunicazione.
Diagramma degli stati che descrive il comportamento della rete.
Cassaforte Asincrona di Mealy
MACCHINE A STATI FINITI
CONVERTITORE ANALOGICO / DIGITALE
Automi LAVORO SVOLTO DA MARIO GERMAN O
Le istruzioni dell’ 8086 Classe 3.
Modulo n – U.D. n – Lez. n Nome Cognome – titolo corso.
Capitolo 8: Progetto di Macchine a Stati Finiti Reti Logiche Contemporary Logic Design Randy H. Katz University of California, Berkeley May 1993.
Teorema di Euclide altezza proiezione proiezione
Linguaggi e Programmazione per l’Informatica Musicale
Chapter 5 - Part 2 1 Procedura di sintesi  Specifiche  Formulazione – Ricavare un diagramma o una tabella di stato  Assegnazione della codifica di stato.
IL TEOREMA DI PITAGORA.
Informatica 3 V anno.
In grado di effettuare molte azioni elementari indipendenti automa universale generatore di sequenze riconoscitore di sequenze circuiti sequenziali sommatore.
Circuiti Sequenziali Elementi di memoria Logic combinatoria Inputs
Circuiti di memorizzazione elementari: i Flip Flop
Ingegneria del software Modulo 1 - Introduzione al processo software Unità didattica 3 - Modelli di fase d’analisi Ernesto Damiani Università degli Studi.
ARCHITETTURA DEI SISTEMI ELETTRONICI
Architettura degli Elaboratori 1
A.S.E.24.1 ARCHITETTURA DEI SISTEMI ELETTRONICI LEZIONE N° 24 Reti sequenziali sincronizzate complesseReti sequenziali sincronizzate complesse –Macchina.
A.S.E.23.1 ARCHITETTURA DEI SISTEMI ELETTRONICI LEZIONE N° 23 Sintesi di contatore modulo 8Sintesi di contatore modulo 8 Contatori modulo 2 NContatori.
Reti Sequenziali Corso di Architetture degli Elaboratori Reti Sequenziali.
A.S.E.22.1 ARCHITETTURA DEI SISTEMI ELETTRONICI LEZIONE N° 22 Sintesi di contatore modulo 8Sintesi di contatore modulo 8 Contatori modulo 2 NContatori.
Espressioni regolari (1)
Ingegneria del software Modulo 1 -Introduzione al processo software Unità didattica 3 - Modelli di fase d’analisi Ernesto Damiani Università degli Studi.
Modello di Automa (Q, I, U, t, w)
TEORIA DEGLI AUTOMI Una macchina sequenziale a stati finiti o AUTOMA a stati finiti è un sistema sequenziale che ha un insieme finito di stati interni,
Politecnico di MilanoC.Brandolese, F.Salice Sintesi FSM – Prima parte Calcolatori Elettronici.
Sintesi Sequenziale Sincrona
La similitudine.
Laboratorio di Architettura Degli Elaboratori1 Macchine a stati finiti – un automa di Mealy generale con 1 bit d’ingresso, 1 di uscita e 2 di stato.
Massimi e Minimi Definizione punto di max assoluto punto di max assoluto ( punto di min assoluto ) se.
Rappresentazione delle informazioni negli elaboratori L’entità minima di informazione all’interno di un elaboratore prende il nome di bit (binary digit.
Strutture di controllo
Macchine sequenziali Capitolo 4.
Il teorema di Pitagora.
Analisi e Sintesi di circuiti sequenziali
Transcript della presentazione:

Esempio teorema equivalenza Mealy-Moore

Es: automa di Mealy che “riconosce” le sequenze 101 e 110 A: nessun bit della sequenza B: “1” (primo bit) C: “11” (primi due bit sequenza 2) D: “10” (primi due bit sequenza uno)

Passo uno: Q’ = Qx C,0 A,0 B,0 C,1 A,1 B,1 D,0 D,1

Funzione ’ l'((q,b))=b, qQ, b l'((A,0))=0, l'((A,1))=1 È il “nome” di uno stato di Moore l'((q,b))=b, qQ, b A,0 A,1 B,0 C,1 C,0 D,0 D,1 B,1 1 l'((A,0))=0, l'((A,1))=1 l'((B,0))=0, l'((B,1))=1 l'((C,0))=0, l'((C,1))=1 l'((D,0))=0, l'((D,1))=1

Funzione ’ d'((q, b),a) = (d(q,a), l(q,a)) 1   A,0 A,1 B,0 C,1 Stato di Mealy Stato di Moore d'((q, b),a) = (d(q,a), l(q,a)) 1   Stato di Moore A,0 A,1 B,0 C,1 C,0 D,0 D,1 B,1 1 1 1 1

Automa di Moore equivalente