Ciao a tutti,

avrei bisogno del vostro aiuto per due problemini:

1) Ho una certa espressione in forma POS e devo:
-trovare l'espressione canonica in forma POS E SOP

Ora, per trovare l'espressione canonica POS non c'è problema, ma per quella SOP?
Io credo che si debbano cambiare gli 0 in 1 e gli 1 in 0 e i x (per) in + e i + in x, giusto??

2) Devo progettare una rete sequenziale con ingresso x e una uscita z tale che:
zt = 1 SSE xt-2 xt-1 xt coincide con 110 o 101 eventualmente con sovrapposizioni.

In pratica devo realizzare un automa che controlla delle stringhe binarie.

Inizio a lavorare con gli stati dell'automa:
q0: riconoscimento non ancora iniziato
q1: riconoscimento 1° bit di entrambe le sequenze
q2: riconoscimento 2°bit di 101
q3: riconoscimento 2°bit di 110

Ora posso realizzare il mio automa:


Il problema che ho si pone nel momento in cui devo disporre gli archi che collegano uno stati ad un altro.
Quando il riconoscimento NON è verificato come decido il da farsi??


Aiutatemi per piacere che sto un po' in crisi.


Grazie