ILENIA CECCOBELLI

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

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

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

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

ma a voi come usciva l'espressione regolare??

Ragazzi salve a tutti,
avrei una domanda sugli appelli di settembre visto che per me è la prima volta ad affrontare il pettorossi.
Cito dal sito di ALT

(1) Thursday 08.09.11 15:00 Room 03 n.e. Exam (written part) for the first and the second call

(2) Thursday 15.09.11 15:00 Room 03 n.e. Second call (oral part)[/quote
Questo significa che ci sarà un unico scritto per entrambi gli appelli? Scusate se ad alcuni sembrerà ovvio però mi sembrava strana come cosa...
Se uno vuol fare il primo appello, progetti mandati l'1, scritto l'8, orale da destinarsi
Se uno vuol fare il secondo appello, progetti mandati l'8, stesso scritto l'8, orale il 15
giusto così?
Grazie della risposta

Scusate,
stavo vedendo le date per gli appelli di settembre. Dato che la data per l'orale per il primo appello, da come è riportato sul sito, sarà comunicata il giorno della prova scritta, indicativamente viene fissata prima o dopo la data dell'orale per il secondo appello??
Grazie

Scusate ragazzi, ma i fogli per la prenotazione all'esame di ALT sono già stati tolti dal professore?
Al piano terra di Ingegneria dell'Informazione non ci sono e io ho potuto passarci solo oggi?
Ma se sono stati messi lunedì e ieri l'uni era chiusa, possibile che siano già stati tolti?

Si sono stati tolti, per caso giovedì stavo ai NE e ho visto Pettorossi toglierli :?

Scusate ragazzi, ma i fogli per la prenotazione all'esame di ALT sono già stati tolti dal professore?
Al piano terra di Ingegneria dell'Informazione non ci sono e io ho potuto passarci solo oggi?
Ma se sono stati messi lunedì e ieri l'uni era chiusa, possibile che siano già stati tolti?

fogli per la prenotazione messi.

In bocca al lupo a tutti!

ragazzi ma i fogli per la prenotazione devono essere ancora messi al piano terra a ingegneria dell'informazione? Perchè stamattina non c'erano.

Fatemi sapere per favore.

Grazie.

Salve ragazzi,

qualcuno che lo ha fatto può gentilmente riportare le tipologie degli esercizi dell'appello di alt di febbraio e nel caso lo ricordasse, anche il testo?
Magari con qualcuno che lo deve sostenere nell'appello di luglio possiamo anche ragionare sulla soluzione...

Grazie

AAA Cercasi anima pia...

ragazzi qualche anima pia che ce l'ha, potrebbe scannerizzare e mettere online la dispensa sulla Rule induction per favore??

Ringrazio in anticipo.

Per l'esercizio del Pumping Lemma, il linguaggio dato è sicuramente generato da una grammatica context-free, non credo che sia generato da una grammatica regolare ma questo non so come dimostrarlo formalmente :x

se non sbaglio quelle due sono equivalenti.... cmq io ho ricavato la prima....

E ora che ci sto ripensando credo sia sbagliata :cry:

Edit: O forse no

io come espressione regolare ho trovato a(ab*a + b)*.
Ma in realtà mi sono confuso con la simbologia perchè volevo intendere a( (ab*a)* + b* )*. Infatti il transition graph l'ho modellato in base a quest'ultima espressione regolare. Che fesso...

Invece sull'esercizio della decidibilità che avete risposto?

Grazie!!!

anche io l'ho ricavata, e in qualche modo ho giustificato come l'ho ricavata. ma una vera e propria dimostrazione formale non l'ho fatta, spero non fosse questa quella che richiedeva!