Diagramma degli stati

[DanteCpp]

Quindi io devo vedere su I cosa vedo.

Cosa

Anche quest'ultimo automa è non deterministico, oltre ad'essere quasi illeggibile!

Comunque. non sto a farti anche questa volta la computazione passo passo, ma continua a non rispettare la specifica!

[Shika93]

Hahahahahahahahahahahahahah oddio che razza di frase ho scritto?????

Scusa!!

Intendevo dire: devo scansionare bit per bit I per fare il grafo? Oppure fare il grafo solo per 001 e 010?
perché non capisco sta cosa...

Cioè, il mio pensiero deve essere:
primo bit di I=1. Niente che debba riconoscere inizia per 1 quindi U=0
secondo bit=1. Idem. U=00
Terzo bit=0. Mmm...Forse riconosco qualcosa. U=000
Quarto bit=1. Mmm...Dai che ci siamo. U=0000
Quinto bit=1. Porca vacca è andata male. U=00000
Sesto bit=1. U=000000
Settimo bit=0. Ok, vediamo...U=0000000
Ottavo bit=0, U=00000000
Nono bit=1. Oh, ho riconosciuto la prima sequenza! U=000000001
Decimo bit=0. Oh cavolo, una sequenza concatenata. U=0000000011

E così via. Devo fare il grafico di questa cosa qui?

[DanteCpp]

Bé tu dovresti creare un graffo più generale possibile, che sia in grado di riconoscere 001 e 010 in un'arbitraria sequenza finita di bit. Io ti ho fatto vedere la computazione, bit per bit, per farti notare che il tuo automa non rispetta le specifiche.

Per quanto riguarda l'implementazione, il procedimento che ho mostrato nel caso dell'ascensore non è appropriato in questo caso. Poiché quest'esercizio mette in luce il secondo punto di forza degli automi a stati finiti, ossia la capacità di riconoscere linguaggi formali... Il metodo esatto per implementare questo tipo di DFA e partire da delle espressioni regolari e trasformarle in DFA passando per NFA, Comunque questo procedimento è laborioso, in un semplice esercizio come questo è possibile tracciare il graffo anche ad'intuito!

Una volta tracciato fai delle prove con delle stringhe a tua scelta per vedere se rispetta le specifiche...

D.

[Shika93]

Bé tu dovresti creare un graffo più generale possibile, che sia in grado di riconoscere 001 e 010 in un'arbitraria sequenza finita di bit. Io ti ho fatto vedere la computazione, bit per bit, per farti notare che il tuo automa non rispetta le specifiche.

Esattamente quello che pensavo. Però io, vedendo l'esempio che ho sulle slide (post [11]), mi verrebbe da fare una cosa simile che però voi mi dite che lo faccio sbagliato.

Sorgente FidoCadJ | Ingrandisci | Cos'è Fidocad

A questo punto se è ancora sbagliato, non saprei come farlo.

[DanteCpp]

L'esempio nella dispensa è un'esercizio molto più banale, non ti puoi basare su quello per risolvere il corrente...

Comunque se non riesci ad'intuire da te, che quest'automa non funziona come dovrebbe, vuol dire che non hai minimamente capito come lavorano gli automi. Se cosi fosse ti consiglio di iniziare da qualcosa di più semplice!

[Shika93]

Non ho idea di cosa fare...Le mie dispense (e libro annesso) fanno pena...Due righe su cos'è il cerchiolino e le freccette e via così. Tanta fatica per un corso talmente facile! (se serve per capire, posso anche linkare le dispense...)

Puoi dirmi come dovrebbe essere in realtà e vediamo se ci capisco qualcosa? Questo qui è un esercizio d'esame di settembre dell'anno scorso, preso dal prof in classe.

[DanteCpp]

T'ho già postato la soluzione in [9] e con la correzione di c1b8 in [10] il graffo diventa:

Sorgente FidoCadJ | Ingrandisci | Cos'è Fidocad

Ops, graffo corretto alle 00:29!

[Shika93]

Ah scusa, non l'avevo capito
Beh si nettamente più leggibile dei miei scarabocchi.

Ora penso di capire...Il problema con l'ultimo che ho fatto (a parte il fatto di avere uno stato in più), stava in C che seguendo il percorso ABCE non sarei più andato da nessuna parte per riprendere la scansione.
In più, cosa che mi mancava, che posso utilizzare stati già usati per continuare la scansione invece di crearne uno nuovo.