Calcolatori elettronici I - Esercizi sugli Automi

Soluzione:

I = {T, 1, 2};

U = {Fermo, su, giù};

Testo:

Progettare il sistema di controllo e gestione della parità all'ingresso

del Parlamento Italiano. Il funzionamento deve essere il seguente:

fatta l'ipotesi che all'ingresso si presentino solo due tipi di

parlamentari, di tipo D (parlamentari del centro-destra) e di tipo S

(parlamentari del centro-sinistra), si considerino sequenze di S e D

delimitate dal carattere '*'. Una sequenza di ingresso, ad esempio,

potrebbe essere:

*SSSSDSSSDDDSSDSDSSSDSDSSDSDDDS*

Progettare un automa che accetti in ingresso questo tipo di

sequenze e restituisca uscita PariS se il numero di S della

sequenza è pari, uscita DispariS se esso è dispari.

Soluzione:

I = {'*', 's', 'd'};

U = {-, PariS, DispariS};

Testo:

Progettare un automa a stati finiti (di Mealy o di

Moore) che accetti in ingresso i caratteri

dell'alfabeto e riconosca la sequenza di ingresso

costituita dalla parola 'aba'.

Lo stato arbitrariamente

denominato 'a' corrisponde alla

situazione "una 'a' riconosciuta'.

Quello denominato 'ab'

corrisponde alla situazione

"sequenza 'ab' riconosciuta".

La transizione tratteggiata in grigio

si riferisce ad un funzionamento

alternativo dell'automa secondo il

quale esso si riposiziona

nuovamente nello stato 'a' subito

dopo aver riconosciuto la

sequenza. In questo caso, alla

sequenza 'ababa' la macchina Soluzione:

risponde con due uscite alte in I = {'a', 'b', ..., 'z'};

corrispondenza della seconda e U = {-, 1};

della terza 'a'.

Una segnale luminoso è collegato ad una porta dotata di una serratura elettronica. Il

segnale resta sempre rosso, a meno che la serratura e la porta non risultino entrambe

aperte, nel qual caso il colore del segnale diventa verde. Progettare l’automa a stati finiti

(di Mealy o di Moore) che controlli il colore del segnale.

L’insieme degli ingressi è costituito da:

- CS: Chiudi Serratura

- AS: Apri Serratura

- CP: Chiudi Porta

- AP: Apri Porta

L’insieme delle uscite è costituito da:

- LV: Luce Verde

- LR: Luce Rossa

Lo stato iniziale è così caratterizzato:

- S0 = Porta Chiusa e Serratura Chiusa