.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)

Quinto tema (23 gennaio)

Non garantisco la correttezza degli esercizi (Dubbi sull'automa a pila - la funzione - e qualcosa nel primo esercizio)

Originally posted by Codo92
Quinto tema (23 gennaio)

Non garantisco la correttezza degli esercizi...

Originally posted by yoham94
Confermo anch'io ho fatto così, nel pomeriggio cerco di riguardare i temi mancanti e poi ti faccio sapere se qualcosa non mi torna

Originally posted by Codo92
Di diverso abbiamo solo due cose, una è la grammatica di tipo 3, dovrebbero essere corrette entrambe, l'altra cosa è sull'automa a pila, con B su input b, io ho messo parola vuota la

Originally posted by yoham94
Si si B su input b è parola vuota la mia è stata una svista. Allora ricontrollo anche la grammatica di tipo 3

Originally posted by Codo92
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

Originally posted by Codo92
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.

Originally posted by yoham94
Confermo tutto tranne l'ultimo esercizio che io ho fatto così
ah ovviamente come avevo già detto c'è da eliminare la mia soluzione all'esercizio 2

Originally posted by Codo92
Quindi dici che va bene quella che ho messo io nel secondo esercizio? Per il quinto, devo dire che il tuo mi piace, credo siano giusti entrambi, la differenza sta nel fatto che nello stato finale, io mando nello stato trappola se arrivano altri 0,1 tu fai ricominciare il giro (più che giusto, anzi anche più bello da vedere). L'importante è che faccia ciò che è richiesto quindi suppongo ci siano infiniti altri possibili automi da poter fare. Sei d'accordo o trovi qualche errore nel mio?

Originally posted by yoham94
Sulla domanda due non saprei perché lei chiede un esempio mentre tu hai messo la spiegazione, credo che piuttosto che non mettere nulla vada bene quello che scritto tu.

Sul riassunto che avevo postato hai qualche aggiunta da fare?

Mi pare ci sia tutto più tardi gli do una occhiata con più attenzione

Ho fatto questo riassunto prendendo spunto anche dalle domande dei temi d'esame, spero possa essere utile A domani!

Edit: Mi sono accorto di un errore nella definizione di linguaggio ricorsivamente numerabile: se x appartiene a L -> 1 altrimenti loop...

Com'è andata? (8 RITIRATI!!!!) A quanto pare adesso gli esami non sono più come quelli che ha sul suo sito. E' tutta teoria. Due esercizi come al solito sui linguaggi, definizione formale della moltiplicazione di A per B, Teorema dell'inclusione e commentarlo, Disegnare automa data una grammatica, commentare il procedimento per ricavarlo e ricavarne una espressione regolare e infine dare l'automa a pila per la grammatica G

Originally posted by Codo92
Com'è andata? (8 RITIRATI!!!!) A quanto pare adesso gli esami non sono più come quelli che ha sul suo sito. E' tutta teoria. Due esercizi come al solito sui linguaggi, definizione formale della moltiplicazione di A per B, Teorema dell'inclusione e commentarlo, Disegnare automa data una grammatica, commentare il procedimento per ricavarlo e ricavarne una espressione regolare e infine dare l'automa a pila per la grammatica G