.dsy:it. (http://www.dsy.it/forum/)
- Linguaggi formali e automi (http://www.dsy.it/forum/forumdisplay.php?forumid=132)
-- primi esercizi lfa (http://www.dsy.it/forum/showthread.php?threadid=44046)

Ciao riupploado il file con le tracce svolte perchè mi sono accorto che alcune pagine mancavano. Carico anche un riassunto che ho fatto sperando possa essere utile, purtroppo è fatto a mano quindi non so quanto si riesca a capire cosa c'è scritto

Fatto il primo tema d'esame. Stasera se riusciamo facciamo uno zippone e uploadiamo nella giusta sezione così facciamo ordine

Pomeriggio vedo di fare gli altri

Secondo tema

Terzo tema

perdonate la disgrafia. Utilizzando un editor online per di più non riesco a fare le frecce, devo andare di mano libera... già con la penna faccio schifo, figuriamoci col mouse

Quarto tema

Se qualcuno nota perplessità è pregato di farlo presente

ps: stasera o domani mattina vedo di caricare anche io le soluzioni per l'ultimo tema d'esame così si può fare un confronto.

Ciao ho confrontato i primi 2 temi d'esame con i miei.
Nel primo, l'automa dell'esercizio 5 credo sia giusto il mio.
Nel secondo, potresti spiegarmi l'esercizio 1 e il 5b?


Nel tema d'esame del 170715 la risposta che ho dato alla domanda 2 è sbagliata quindi puoi anche non considerarla

Originally posted by yoham94
Ciao ho confrontato i primi 2 temi d'esame con i miei.
Nel primo, l'automa dell'esercizio 5 credo sia giusto il mio.
Nel secondo, potresti spiegarmi l'esercizio 1 e il 5b?

Originally posted by Codo92
No, nel tuo manca stato trappola ed inoltre hai aggiunto uno stato finale {f}. Quando leggi a,b in {f,p} ritorni in f che è appunto in {f,p}. Ti quadra?

Originally posted by yoham94
Sullo stato trappola sono d'accordo, ma se io sono in {f,p} e leggo a,b vado in {f} perchè f su input a,b va in f ma p su input a,b non va da nessuna parte quindi hai {f} unione {insieme vuoto} = {f}

Originally posted by Codo92
Se leggi qualcosa che ritorna nello stato che hai già non c'è necessità di crearne uno nuovo per distinguerlo. Proprio perchè su f con input a,b ritorni in f non c'è bisogno di riscrivere un nuovo stato. Se p con a,b andasse in un altro stato potrei darti ragione, creeresti lo stato {f, altro stato} ma così ripeto che ritorna nello stato in cui è già. Tu hai creato {f, insieme vuoto}

Originally posted by yoham94
Io mi sono basato su questo esempio che ha fatto nelle videolezioni, lo stato {q0,q3} su input a va in {q3} non rimane in {q0,q3}

Originally posted by Codo92
Prendi come esempio lo stato {Q1, Q2} vedi con la b come fa (sempre in questo esercizio delle videolezioni).

Comunque adesso cerco una spiegazione chiara, sono sicuro della correttezza perchè questo lo avevo fatto correggere alla prof.

Il resto che mi hai chiesto ti è chiaro invece?

Guarda sui primi due temi sono sicuro al 99,9% (me li ha corretti la prof. entrambi, mi hai messo il dubbio su quell'automa ma così gliel'ho presentato e così le andava bene). Per il 5b sono solo quelle degli stati irraggiungibili le regole da eliminare (anche perchè per esempio poi leggendo dallo stato iniziale 'b' dove vai se elimini P? Se lo fai a S invece non ti fai alcun problema perchè tanto è uno stato che non raggiungerai mai). Ci riaggiorniamo domani mattina Buona serata, vedi se anche gli altri due temi ti convincono o c'è qualcosa che per te è sbagliato

Originally posted by Codo92
Guarda sui primi due temi sono sicuro al 99,9% (me li ha corretti la prof. entrambi, mi hai messo il dubbio su quell'automa ma così gliel'ho presentato e così le andava bene). Per il 5b sono solo quelle degli stati irraggiungibili le regole da eliminare (anche perchè per esempio poi leggendo dallo stato iniziale 'b' dove vai se elimini P? Se lo fai a S invece non ti fai alcun problema perchè tanto è uno stato che non raggiungerai mai). Ci riaggiorniamo domani mattina Buona serata, vedi se anche gli altri due temi ti convincono o c'è qualcosa che per te è sbagliato

Originally posted by yoham94
Ultima domanda per oggi secondo tema d'esame esercizio 4a terza domanda perché hai messo no?