ILENIA CECCOBELLI

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

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?

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

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:

Sapete se ci sono già i fogli di iscrizione all'esame?

k grazie. Magari 'se ho tempo che mi avanza' (ahahhah ahahaha ahahah) dopo aver finito i progetti inserisco un metodo per scegliere meglio il new_symbol in questo step :mrgreen:

Secondo me la puoi lasciare così, ma io avrei da subito usato i nonterminali che già generano i terminali che devi sostituire:
[code type="markup"]S->AB|AD A->a B->b C->c D->BC[/code]

Signori, visto che c'è ancora qualcuno che sta preparando alt per settembre, avrei una domanda sul kasami:

Durante la riduzione dell'ordine delle produzioni (nel passaggio da context-free a Chomsky per intenderci, step 2 se non sbaglio) si dice:
[code type="markup"]A->xyz ===> A->xB; B->yz[/code]

Ma mettiamo il caso di avere questo: [code type="markup"]S->ab|AB|AD A->a B->b C->c D->BC[/code]
Seguendo l'algoritmo del libro la soluzione sarebbe: [code type="markup"]S->EF|AB|AD A->a B->b C->c D->BC E->a F->b[/code]
Si può lasciare così o bisogna fare un controllo ed eliminare le produzioni che genera gli stessi simboli? Sul libro non ne parla...

Il fatto è che anche io ho preso come assunto che il linguaggio fosse context free. Per dimostrare che il linguaggio a^i b^j dato sia deterministic, ti devi costruire un dpda che accetta per stato finale e mostrare che un dpda equivalente che accetta per empty stack non accetta quel linguaggio

Eccoli



Uploaded with ImageShack.us





Uploaded with ImageShack.us

Infatti anche sul sito Aracne lo da disponibile >> http://store.aracneeditrice.com/it/libro_new.php?id=202

Su quella pagina c'è anche il pdf dell'indice >> http://www.aracneeditrice.it/pdf/0889.pdf
L'ho confrontato con la prima edizione e c'è una differenza di circa 25 pagine!

Che capitoli del libro rosso tocca leggere,da quello che ha spiegato mercoledì?

Testi consigliati.
1. A. Pettorossi: Automata Theory and Formal Languages. Second Edition. Aracne, 2009.
Escluse le sezioni: 1.6, 2.7, 2.11, 3.13.2, 3.14, 3.15, 3.16, 6.2, 6.3, 6.4, 7.1, 7.2, 7.6.
e le prove dei teoremi dei capitoli 4, 5 e della sezione 6.1.
2. A. Pettorossi: Techniques for Searching, Parsing, and Matching. Second Edition. Aracne, 2009.
Chapter 2.2, 2.3, 4.1, 4.2, 5, 6.1, 6.2.1, 9.1.

Più chiaro di così :P

Penso che si debba fare tutto il capitolo 1 perché altrimenti sul programma avrebbe messo solo i paragrafi da fare o quelli da saltare come ha fatto per altri capitoli. E' solo il mio pensiero, niente di sicuro, ma visto che non ti risponde nessuno...

Ragazzi sapete se del capitolo uno del libro giallo bisogna fare anche il Salomaa Theorem e il paragrafo 1.6 (Substitutions and Homomorphism)?? Grazie...

Qualcuno mi può dire che ha spiegato il professore mercoledì ed oggi?

ha spiegato i pushdown automata in generale e in particolare ha fatto un esempio di come si passa da pushdown automata a grammatica context free

Ti ringrazio! :wink:

ha spiegato i pushdown automata in generale e in particolare ha fatto un esempio di come si passa da pushdown automata a grammatica context free

Che ha spiegato oggi il prof??

Ciao ragazzi, qualcuno sa dirmi gli argomenti spiegati dal professore nella lezione di lunedì 25 ottobre? Grazie