Errata Corrige v1.0.0
In questa pagina annotiamo e correggiamo tutte le imprecisioni che abbiamo trovato o ci sono state segnalate nella release 1.0.0 e che verranno certamente corrette in una futura release.
-
Pagina 38: quello in figura NON È un albero di derivazione, e l'impostazione della spiegazione è sbagliata; dal momento che vogliamo dimostrare che è possibile ottenere una medesima parola (abac) con due derivazione canonica, dobbiamo tracciare un albero di derivazione per ciascuna derivazione, come mostrato qui in figura:
-
Pagina 40: al pari di prima, nemmeno questo è un albero di derivazione; tuttavia, quell'albero rappresenta delle diverse derivazioni possibili a partire da S, e in realtà a noi basta trovare una sola parola derivabile dal linguaggio, quindi la figura tutto sommato è utile, anche se naturalmente potrebbe essere sostituita da degli step di derivazione scritti in maniera più tradizionale:
S => aBS => aS => abA => aBa => aa
perché non tracciamo un albero di derivazione vero e proprio? ehm, diciamo che non ci poniamo il problema, dal momento che la professoressa non ha mai parlato di come tracciare un albero di derivazione per grammatiche dipendenti da contesto, e per la verità intuitivamente sembra non essere nemmeno possibile, applicando le regole degli alberi di derivazione finiremmo per ottenere un grafo.
-
Pagina 174: non proprio un errore, ma segnaliamo ugualmente: nell'automa raffigurato l'arco (5, 4) è etichettato *, mentre l'arco (6, 3) è etichettato +
-
Pagina 196: nel paragrafo "Stato 4" il secondo item dello stato finale è R -> .L, non R -> .R
-
Pagina 197: la riduzione ovviamente è R -> L, coerentemente al kernel dello stato
- Pagine 212-218: questi due esercizi sono il primo confusionario, e il secondo sbagliato, per cui raccomandiamo di _non studiarli; una soluzione corretta del secondo esercizio può essere trovata qui
-
Pagina 293: la figura A.6 è sbagliata, lo stato T_3 dovrebbe avere un self loop etichettato a:
-
Pagina 294: la tabella A.2 ha un errore: i first di S sono {a, b, c}
