ILENIA CECCOBELLI

Bè l'espressione regolare, se la trovi, non credo che tu debba dimostrarla, poi sì dal transition graph ti ricavi l'automa e fai tutto il resto

l'espressione regolare del primo esercizio come l'avete dimostrata???
io me la sn ricavata tramite alcuni passaggi e poi da li ho fatto l'automa e poi il parser che simula l'automa

Sì penso tu abbia ragione ed effettivamente credo di aver risposto in maniera un po' superficiale. Non mi resta che fare la dimostrazione da casa e presentarla in sede di orale. Mea culpa

eheh ma figurati! sto solo cercando di costruire un quadro più completo possibile della situazione, e difatti credo che se trovi il dpda e glielo porti all'orale stai apposto. per quanto riguarda l'esercizio del pumping lemma sono nella tua stessa situazione :? per gli altri esercizi avete qualche dubbio o (ancora meglio) qualche certezza da condividere?

Più che altro mi rimane piuttosto contorto dimostrare prima che una cosa vale e poi che non vale

Per la questione del Pumping Lemma, ho considerato il pumping lemma riguardo il linguaggio regolare. Quindi relativo a z = uvx
Il linguaggio dato dalla domanda, dovrebbe essere regolare nel senso che se uuR giace in "u" di uvx e v giace in v (se x=e) o in vx (se x!=e), anche u v^i x appartiene al linguaggio per ogni i>=0.
Per la dimostrazione che non è regolare, non saprei

Sì penso tu abbia ragione ed effettivamente credo di aver risposto in maniera un po' superficiale. Non mi resta che fare la dimostrazione da casa e presentarla in sede di orale. Mea culpa

si certo, ma io credo che bisogna trovargli e mostrargli proprio questo dpda prima di poter asserire che il linguaggio è dcf, o no?

Ma l'esercizio del parser qualcuno ha idea di come vada risolto? La grammatica non è regolare ma è CF... come si fa a scrivere un parser con complessità O(n) per una grammatica simile? CYK ovviamente non va bene, avendo complessità pari a O(n^3)... su un testo d'esame del 2009 c'era un esercizio simile e ho provato a risolverlo con LR(1), però non riesco a completare la parse table. Stessa cosa per LR(0)... qualcuno ha idea di come procedere? Grazie infinite!

Qualcuno sa dirmi dove si trova esattamente l'ufficio di Pettorossi?
Il suo nome compare al 3° piano ma non l'ho trovato! :huh:

Essendo iscritta al vecchio ordinamento, sto cercando disperatamente una strategia per NON fare questo esame.
Dubito riuscirò a trovarla, quindi terrò ben a mente le videolezioni che hai pubblicato...
Grazie infinite!!!!!

Gli ing. informatici sono spariti dal forum..nessuno risponde. Ma dove si consulteranno mai?? Qui sopra c'è materiale utilissimo ed i post sono tutti qui, facilmente ricercabili.
Dove sono?? Vado a riprenderli.. :huh:

Grazie per i consigli..e invece per quanto riguarda i due progetti da consegnare?

Anche se il topic è dell'anno scorso, scrivo qui.
Ieri qualcuno ha dimenticato il libro arancione in aula B4 con vari appunti dentro.
Domani lo porto a lezione, scrivete qualcosa qui così ve lo posso restituire

sempre alle 15!

Qualcuno sa a che ora c'è l'orale di ALT martedì? Nella fretta mi sono dimenticato di chiederlo!!

Relativamente all'esercizio della correttezza totale, per provarla bosogna provare la correttezza parziale e anche il fatto che il programma termina sempre. Giusto? La prima parte è deducibile con il metodo di hoare, ma la terminazione come si può provare? (anche alla luce del fatto che non esiste un algoritmo che dato un programma e un valore del
Suo input si arresta e dice se il programma termina o meno per il dato input)
Inoltre qual'è la metodologia da seguire per ricavare l'imvariante di um ciclo while-do?

Scusate qualcuno sa quante ore dura il compito?

Qualcuno potrebbe spiegarmi come usare l'induzione per il primo esercizio grazie.

Grazie mille, in effetti non mi ero accorto che anche se la grammatica non è regolare il linguaggio che genera lo è, perciò basta ricavarsi l'espressione regolare e poi scrivere un programmino che verifica l'appartenenza della parola al linguaggio. E' molto più semplice di quanto pensassi

Devi riuscire a capire che tipo di linguaggio è generato dalla grammatica analizzando le derivazioni e scrivere un programma Java che data una parola ti sappia dire se appartiene a L(G).

Qualcuno ha i testi degli esami di Febbraio e/o Luglio 2011?