ILENIA CECCOBELLI

Both for the first and the second call, within seven days before the date (1)
you should register on the registration sheet you will find at the entrance
of the building of the ‘Ingegneria dell'Informazione’ (Via del Politecnico 1,
00133 Roma).

Non sono ancora passato a controllare ma credo li metterai in questo paio di giorni.. Prova con una mail :wink:

Sono passata ieri all'uni, i fogli ci sono già

Una domanda:

a pagina 55 del libro verde esempio 4.2.14, si dice che per la grammatica G con assioma S e le cui produzioni sono S->e|abA e A->Saa|b, l'insieme First1(Saa) è {e,a}. Seguendo la definizione di First1 per le stringhe (Definizione 4.2.3 pag 49), poichè S ->* e , First1(Saa)=(First1(S)-{e}) U First1(aa) = ({e,a}-{e}) U {a} = {a} U {a} = {a} che è diverso da {e,a} come scritto sul libro.
C'è qualcosa nel mio ragionamento che è errato? Qual'ora il mio ragionamento fosse giusto l'elemento inserito nella tabella di parsing alla riga A e colonna $ non ha senso di esistere giusto?

Si, è un errore c'è anche scritto nell'errata corrige del libro.

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!

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

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

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

Scusate qualcuno sa quante ore dura il compito?

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?

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

sempre alle 15!

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

Ragazzi...qualcuno di voi che è riuscito a passare l'esame potrebbe darci qualche consiglio su come affrontarlo?

Automi è veramente quella bestia nera per ing. Informatica che tutti credono.. Passarlo diventa uno dei più grandi successi della triennale E lo si sente dagli urli che rompono il silenzio fuori dallo studio del Petto a fine orali!

Come affrontare ALT?

1) Studiare i libri. Sembra scontato ma è quasi un'impresa seguire e capire le lezioni in aula senza aver prima letto o studiato almeno in generale l'argomento. Segnatevi tutte le cose meno chiare, i passaggi più astrusi..

2) Chiedetevi spesso 'perchè?' 'perchè non fa così?' e, appena possibile, mandate mail al Petto o (meglio) andatelo a trovare in ufficio. Lui può umiliare, mortificare, sbeffeggiare all'orale ma, nella sua visione del mondo, cerca di insegnare agli studenti a diventare veri ingegneri (tralasciamo il fatto che per far questo molti ci perdono anni di vita ^^'). Sarà più che contento di ricevervi e di spiegarvi (a modo suo) tutto quello che non vi è chiaro.

3) Cercate di studiare insieme. Automi non è un esame 'stand-alone', bisogna condividere la conoscenza che si ha sugli esercizi, sui teoremi, sui lemmi.. Qualcuno avrà capito meglio una cosa, un altro avrà trovato un'invariante assurda... sharing is the way

4) Abbiate pazienza.. Studiate, date il massimo.. Non v'arrendete se dopo 3 ore di analisi del linguaggio o dopo giorni passati a risolvere una tripla di hoare ancora non vedete la luce.. Questo esame va preso per sfinimento! Ogni giorno imparerete cose nuove e arriverete piano piano ad essere pronti per lo scritto e per l'orale.

In bocca al lupo

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

Non so se avete fatto altri esami con progetto in Java (o cmq un linguaggio OO), in ogni caso sia il Cocke-Younger-Kasami che l'LR(1) sono fattibilissimi e non dovrebbero dare troppo fastidio.
Per quanto mi riguarda, a suo tempo c'ho messo 5-6 giorni per il primo e 9-10 per il secondo (però portando avanti anche la teoria).
In linea di massima dovrebbero essere sulle 1200-1300 righe di codice il CYK e 2200-2300 l'LR(1).

1) Commentate ogni passaggio importante e fate commenti di 'introduzione'
2) Potete usare un approccio OO (una classe per Simbolo, Produzione, Grammatica, ecc...) o un approccio String-Oriented (che è quello che usa lui nel libro giallo e nel verde, giocando con la string-to-parse)
3) Considerate tutti i casi possibili di grammatiche, non solo quelli 'facili' che usa lui nel libro. Può capitare che nello studio del First1() ci sia una mutua ricorsione che mandi a puttane tutto il bellissimo algoritmo che vi inventate leggendo il libro ^^'

Tutto qui

Salve a tutti,
vorrei riportare l'attenzione su questo esame, qualcuno sa per caso verso che periodo metterà l'appello di Febbraio il prof. Pettorossi?

Nel frattempo vi lascio un link per una serie di videolezioni molto ben fatte che mi stanno aiutando molto nella preparazione:

http://www.youtube.com/playlist?list=PL601FC994BDD963E4

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:

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