Com'era la dimostrazione?!?


[size=2]Io l'esame l'ho fatto al primo appello... Mi sembra identico, tranne il punto 8... [/size]

Ce l'ho fatta finalmente!! L'incubo ALT è finito...e con lui anche l'ultimo esame è andato.
E' stata una faticaccia (studiare d'estate è faticoso il doppio ed è la prima volta che mi capita di doverlo fare in modo serio) ma posso dire che ne è valsa la pena. E ora informatica teorica (terzo esame con pettored, record?). Ha già estorto la mia presenza a lezione. :?

Come promesso ecco la traccia del 26, potrà essere utile a chi lo affronterà prossimamente:

[code type="markup"]1) Write a Java or C++ program for testing whether or not a word is generated by the following grammar:

S -> a | SA | A
A -> aA | Aab | €

Determine the time and space complexity of the algorithm.

2) Find the Kuroda normal form of the grammar:

S -> ABC
ABC -> DEGF

in the following two cases:
i) knowing that the other productions of the grammar are : D -> d, E -> e, F -> f, and G -> g, and
ii) without knowing the other productions of the grammar, that is, the productions in Kuroda normal form should be equivalent to the given ones whatever other productions we consider for the nonterminals.

3) Compute the Greibach normal form of the following grammar:

S -> Aa | Ab
A -> SA | a | AAb

4) Illustrate how the Cocke-Younger-Kasami parser works for the following grammar:

S -> AB
A -> AB | BB | €
B -> a

5) Construct the SLR(1) parsing table for the following augmented context-free grammar G:

E' -> E$
E -> E+T | T
T -> Txa | a

6) Prove the equivalence between nondeterministic finite automata and deterministic finite automata.

7) Give the definition of the class of the context-free languages and the definition of the class of the deterministic context-free languages. Show that the class of the deterministic context-free languages is properly included in the class of context-free languages. Show that is decidable whether or not a context-free grammar generates an empty language.

8) Show that the context-free languages over an alphabet of one symbol only are regular languages.[/code]

Stupenda la comica sull'ultimo esercizio, prima perde mezz'ora per farci la dimostrazione (improvvisata come suo solito e abbastanza tortuosa) ed in seguito quando è toccato a me gli ho detto che la dimostrazione era banale. Alla fine lo ha dovuto ammettere. :lol: :lol:

Ciao a tutti!

L'esame era oggi pomeriggio

Ora sono troppo stanco per copiarlo...domani se ho tempo (l'orale è giovedì e domani devo rifare per bene lo scritto) lo copio.

Purtroppo non ho lo scanner.

Ciao

insomma com'era l'esame di oggi?

Che si fa sulla Luna?


:lol: :lol: :lol:

eh?

insomma com'era l'esame di oggi?

Che si fa sulla Luna?


:lol: :lol: :lol:

insomma com'era l'esame di oggi?

Sì, ha scritto delle dispense, google può venirti in aiuto

ok allora farò anche io così...un'altra cosa..ma per l'SRL(1) il prof ha dato qualche dispensa? io ho solo quella per LR...

Il codice è troppo lungo da poter scrivere su carta e durante un esame....e sinceramente non so se saprei riscriverlo correttamente tutto, senza poter nemmeno provare!

Penso che lo abbozzerò, scriverò le parti salienti e poi glielo porto all'orale.

Un amico mi ha detto che l'anno scorso non l'ha fatto praticamente nessuno...

si anche io ho spedito solo a quello del prof...ma per quanto riguarda il primo esercizio dell'esame chiede praticamente di fare quello che abbiamo fatto per il secondo progetto? quindi all'esame bisogna scrivere tutto il codice del progetto? come pensate di fare? o meglio Rizzi (visto che solo noi due siamo rimasti a parlare di ALT a sett) come pensi di fare ?

Ma l'indirizzo corsoalt2006@tiscali.it a voi funziona ??

Io ho mandato gli esoneri solo all'indirizzo del professore.

Sapete a che ora iniziano gli orali oggi?
Grazie

Allora non saprei..ma a rigor di logica dovrebbe essere come dici tu, quindi probabilmente la scampi! Ma credo che dovresti informarti bene in sereteria ed eventualmente fare un piano di studi personalizzato..

il mio anno di immatricolazione è il 2001/2002 e ALT non c'era

Mi sa che ALT era previsto nel piano di studi ufficiale ma non è partito il corso..quindi non credo ci sia scampo!

scusate ragazzi,
ho letto sul sito di ingegneria che per chi non ha mai presentato un piano di studi vale il piano ufficiale dell'anno di immatricolazione.
In quel caso se ALT non c'era non va sostenuto, o no?

Grazie!

Qualcuno ha fatto lo scritto oggi (o ieri per chi è puntiglioso) ?

Vedo che l'orologio del mio pc va un pò + avanti rispetto a quello del forum...

Qualcuno ha fatto lo scritto oggi (o ieri per chi è puntiglioso) ?

Io penso di spedirglieli domani, non ho terminato ancora delle cose, compresa la documentazione.

Io ho pensato di inviargli codice, bytecode, documentazione fatta con javadoc e un file di testo per ogni programma con le spiegazioni per farlo funzionare.

Ciao

ragazzi chi ha spedito i programmi al prof? che ha spedito? io non riesco a capire che gli devo mandare?
non vuole due file rar con dentro i progetti?