filippodaniotti / appunti-lfc Goto Github PK

Queste due figure dovrebbero essere ricreate in LaTeX con dei pacchetti appositi (forse forest può essere il pacchetto giusto, ma non ci metterei la mano sul fuoco)

Nell'ultimo passaggio dell'algoritmo shift reduce manca la S nel symSt dopo aver effettuato la riduzione S -> aABe

Alcune definizioni nel capitolo 3 sono state scritte fuori dagli ambienti matematici; non sono molte, ma sarebbe comunque bene riscriverle in tale maniera.

L'idea è di utilizzare convenzioni molto forti sulla definizione e uso delle labels.

In particolare, vorrei che le labels fossero assegnate a:

• ogni asset importato nel documento;
• tutte le equazioni non anonime;
• tutti quei marker di sezione che lo dovessero richiedere.

Ogni label dovrà avere il seguente formato \label{type:file-name}, dove:

• type (tutto in minuscolo) indica il "tipo" dell'elemento cui la label è assegnata, quali ad esempio: fig, alg, tab, eq, subsec, etc;
• file-name è il nome dell'asset, se l'elemento è un asset;
• il formato per gli elementi che non sono asset verrà specificato a breve.

Nel testo si dovranno usare le labels nel seguente formato Type.\ref{label}, con il tipo di elemento capitalized.

Bisogna spiegarlo

Questo ha bisogno di un po' di TiKz + Automata.

Quello che è successo nella bizzarra lezione di mercoledì 16-12-2020

Lezione di venerdì 18-12-2020

Lezione di venerdì 11-12-2020

Uno potrebbe dire "Contenuti dubbi?"
Be',

Vorrei stabilire delle convevnzioni abbastanza forti sui nomi dei file degli assets.

Al momento non ho ancora idee precise, se non che vorrei utilizzare solamente lettere minuscole, dashes e underscores.

Alcune tabelle sarebbero molto più chiare se aggiungessimo delle vertical rules, come ad esempio le seguenti, riguardanti gli esercizi sulla subset construction.

È la sezione sugli esercizi di applicazione del pumping lemma for free languages e attualmente è un po' un blocco di testo monolitico, e manca in generale di un po' di dettaglio.

Figure 8.5 (Figura 8.5: Automa Caratteristico per la Bottom-Up Parsing Table) on page 158 has b transiction from state 3 to state 7. This is wrong. In the original automa the transition is trought d.

Nel DFA in figura A.2 lo stato 1 non è finale (come correttamente descritto dal testo precedente)

La formattazione attuale fa schifo, c'è l'identazione di paragrafo senza separazione del testo praticamente ogni due righe.

• Capitolo 1
• Capitolo 2

Refactoring di TUTTI gli pseudocodici.

Lista dei typo trovati durante la lettura del capitolo 8 (post-refactoring):

1. riga 10 pagina 142 "la andremo ..."
2. penultima riga pagina 144 "per fare in questo"
3. ultima riga prima dello pseudocodice pagina 146 "due volte di fila due punti"
4. punto 1 pagina 147 "calcoliamo il la chiusura"
5. riga 5 pagina 149 "gli stessi item; in questo casp"
6. riga 4 sezione 8.4 pagina 159 "l'algoritmo di s/r viene uisto"
7. nota 5 pagina 163 interrotta sul piu' bello per poi tornare nella pagina dopo
8. nota 6 pagina 169 "meglio tenere la conscienza"
9. nota 7 pagina 170 "QUesta frase"

Gli pseudocodici non hanno alcuna label assegnata e, di conseguenza, non è possibile referenziarli attraverso il consueto comando \ref{<label>}.
Inoltre, il pacchetto algorithm2e prevede la possibilità di fare riferimenti alle righe stesse, per cui si potrebbe considerare di implementare anche questa funzionalità.

Nell'esercizio 4 alla fine del terzo capitolo c'e' un errore nella consegna:

L'ultima k di entrambi i linguaggi dovrebbe stare all'esponente di c assieme al 2

Dobbiamo decidere una prassi comune per l'utilizzo del comande \emph{} e in base a tale decisione ristrutturare l'intera dispensa.
Al momento l'utilizzo di tale comando è abbastanza randomico.

Per quanto il source sia importante e fondamentale non mi è chiara la scelta di non includere direttamente un pdf compilato all'interno della stessa repo.

Consiglio di settare una action in modo che il pdf sia automaticamente ricompilato ad ogni cambiamento

Edit, ho notato solo ora che la action è già settata ma non vi è alcun pdf in /src :(

Banalmente, bisognerebbe aggiungere al readme una sezione in cui indichiamo le convenzioni che abbiamo seguito per mantenere il progetto consistente.

• Convenzioni
• Troubleshooting

Nel test si dice che la Fig. 1.5 contiene il parse tree sulla destra mentre il codice intermedio sulla sinistra, tuttavia viene visualizzato solo il parse tree. Ho dato un occhiata al sorgente e sembra ok (?)

Nella tabella mancano le seguenti entry:

• Tab[7,digit]=s6
• Tab[7,F]=4
  Che corrispondono agli archi colorati in rosso in figura
  

Iniziano da capitolo 8 in poi

La professoressa ha rilasciato un foglio di esercizi simili a quelli che potremmo trovare nella prima parte dell'esame; sarebbe interessante svolgerli per bene, descriverne dettagliatamente il procedimento e presentarlo in un'appendice a fine testo.

• Risoluzione degli esercizi su supporti meno raffinati di LaTeX
• Impaginazione LaTeX

Nell'automa risultante, T3 dovrebbe avere un arco che va su T3 stesso e con valore "a"

Servirebbe fare un bel refactoring delle labels, stabilendo delle convenzioni moderatamente forti sia su:

• formato: come devo chiamare la label che si riferisce al terzo esercizio sull'applicazione della subset construction? sc-es-3? sc_ex_3?
• utilizzo: quali sono le situazioni in cui è opportuno usare references alle labels? Potremmo ad esempio pensare di utilizzarle sempre per riferirci alle immagini, data l'imprevedibilità del comportamento di LaTeX con il loro posizionamento nel testo.

In questo caso, se io avessi "abababab", alla fine otterrei una pila vuota, quindi il procedimento "passerebbe", anche se la parola non appartiene al linguaggio (a^n)(b^n). Può essere che mi sbagli, ma il procedimento dia sempre dei negativi giusti, ma che abbia dei falsi positivi.