Esercizi automi a stati finiti e diagrammi (I-L)

Progettare una macchina di Mealy per il controllo della qualità di un prodotto in base a specifiche di controllo fissate. Il controllo deve arrestare la produzione per poter effettuare delle verifiche alla macchina, qualora esso riscontri la produzione di due pezzi difettosi consecutivi o di tre pezzi difettosi (anche non consecutivi); in tal caso si ritorna nello stato iniziale dove si assume che la macchina sia nuovamente funzionante.

• Le uscite possibili sono: continua la produzione, arresta la produzione

• le uscite possibili sono: pezzo buono, pezzo difettoso

• le uscite possibili sono: due pezzi difettosi, tre pezzi difettosi

• le possibili uscite sono: macchina da verificare, macchina funzionante

Progettare una macchina di Mealy per il controllo della qualità di un prodotto in base a specifiche di controllo fissate. Il controllo deve arrestare la produzione per poter effettuare delle verifiche alla macchina, qualora esso riscontri la produzione di due pezzi difettosi consecutivi o di tre pezzi difettosi (anche non consecutivi); in tal caso si ritorna nello stato iniziale dove si assume che la macchina sia nuovamente funzionante.

• Gli ingressi possibili sono: continua la produzione, arresta la produzione

• Gli ingressi possibili sono: pezzo buono, pezzo difettoso

• Gli ingressi possibili sono: due pezzi difettosi, tre pezzi difettosi

• Gli ingressi possibili uscite sono: macchina da verificare, macchina funzionante

E' sempre possibile convertire un diagramma degli stati di Moore in uno equivalente di Mealy?

• Solo se le uscite sono differenti da uno stato all'altro

• Sì, sempre

• Dipende dal numero di stati dell'automa di Moore

• Solo se le uscite dipendono dallo stato corrente

E' sempre possibile convertire un diagramma degli stati di Mealy in uno equivalente di Moore?

• Solo se le uscite sono differenti da uno stato all'altro

• Sì, sempre

• Dipende dal numero di stati dell'automa di Moore

• Solo se le uscite dipendono dallo stato corrente

Per convertire l'automa di Moore in figura, quanti stati ci devono essere nell’automa di Mealy equivalente.

• 2, uno per ognuno dei 2 ingressi

• 8, uno per ogni freccia/transizione presente

• 4, come nell'automa di Moore

• 5, uno stato in più rispetto a quelli dell'automa di Moore

Per convertire l'automa di Mealy in figura, quanti stati ci devono essere nell’automa di Moore equivalente.

• 2, uno per ognuno dei 2 ingressi

• 8, uno per ogni freccia/transizione presente

• 4, come nell'automa di Moore

• 5, perchè lo stato A deve essere duplicato avendo 2 uscite differenti per i 2 ingressi

Si progetti un'automa di Moore per la realizzazione di un semplice lucchetto elettronico, che inizialmente è chiuso. Il sistema riceve in ingresso I una combinazione {00, 01, 10, 11} e I2 e fornisce in uscita il comando O con valori {A=apri, C=chiudi}. Quali dei seguenti diagrammi potrebbe essere il modello corretto?

• 
• 
• 
• 

Si progetti un'automa di Mealy per la realizzazione di un semplice sistema di controllo delle porte di un ascensore. Il sistema riceve in ingresso I dei comandi per le porte {APRITI, CHIUDITI, STOP, OCC, LIB} e fornisce in uscita alle porte il comando O con valori {FERMO, CHIUDI, APRI}. Quali dei seguenti diagrammi potrebbe essere il modello corretto?

• 
• 

Si progetti un'automa di Moore per la realizzazione di un semplice sistema di controllo delle porte di un ascensore. Il sistema riceve in ingresso I dei comandi per le porte {APRITI, CHIUDITI, STOP, OCC, LIB} e fornisce in uscita alle porte il comando O con valori {FERMO, CHIUDI, APRI}. Quali dei seguenti diagrammi potrebbe essere il modello corretto?

• 
• 

Che cosa afferma la tesi di Church-Turing?

• La MdT è un modello intuitivo per decidere se un problema è risolubile con un computer

• la classe delle funzioni calcolabili coincide con quella delle funzioni calcolabili da una MdT

• non tutte le funzioni calcolabili con un algoritmo sono calcolabili da una MdT

• per ogni problema esiste una MdT che lo risolve