Il pdf è disponibile nella sezione Releases a destra!
Questo testo è una dispensa di appunti scritta da studenti; lo scopo è quello di raccogliere i contenuti del corso di Linugaggi Formali e Compilatori e organizzarli secondo un'esposizione quanto più completa, efficace ed intuitiva possibile, tanto per lo studente desideroso di ottenere un'ottima padronanza degli argomenti, quanto anche per lo studente pigro in cerca di risorse per "portare a casa" l'esame.
Gli appunti sono stati presi durante il corso di Linguaggi Formali e Compilatori tenuto dalla professoressa Paola Quaglia per il Corso di Laurea in Informatica, DISI, Università degli studi di Trento, anno accademico 2020-2021. I contenuti provengono quindi primariamente dalle lezioni della professoressa, mentre invece ordine ed esposizione sono in gran parte originali. Allo stesso modo, la maggior parte degli assets (figure, grafi, tabelle, pseudocodici) sono contenutisticamente tratti dal materiale della professoressa, ma ricreati e molto spesso manipolati dagli autori; inoltre, per ottenere il risultato appena citato, è stato molto spesso necessario abbandonare quasi del tutto l'esposizione della professoressa e usarla, appunto, come canovaccio per svilupparne una originale.
Maggiori informazioni sul progetto e e sugli autori possono essere trovate nella prefazione dell'elaborato.
Se durante la lettura doveste incorrere in errori di qualsiasi tipo, tra gli altri errori di battitura, errori concettuali o di impaginazione, vi chiediamo di fare una segnalazione; ve ne saremo riconoscenti e provvederemo a correggere quanto prima. Se siete arrivati a questo punto assumiamo una buona familiarità con Github, per cui come canali per segnalare errori:
- aprire una Github issue, se possibile referenziando all'interno del corpo anche la porzione di codice in cui è presente l'errore
- se volete direttamente proporre un vostro fix, potete clonare la repo (istruzioni per la build qui) e aprire una pull request con i commit che risolvono l'errore, vi daremo un riscontro quanto prima
Se preferite non segnalare l'errore tramite Github potete comunque contattarci personalmente tramite gli indirizzi email che trovate sui nostri profili Github, oppure con la mail istituzionale [email protected], o naturalmente con mezzi più informali.
Prerequisiti:
- una distribuzione TeX, ad esempio MiKTeX o TeXLive
pip, per cui assicuratevi di aver installato Python, con le nuove versioni di Python cosiglio di utilizzare pipx- se volete compilare utilizzando il tool Arara, allora dovrete avere una JVM installata
A questo punto:
- clonate la repository con
git clone https://github.com/unitn-drive/_EXTRA-appunti-lfc - installate il pacchetto Pygments con
pip install Pygmentsopipx install Pygments - compilate, ad esempio:
- lanciando tre volte
pdflatex -shell-escape main.tex - lanciando
latexmk -pdf -shell-escape main.tex - per una compilazione rapida, potete utilizzare Arara con
arara main.tex(dovete necessariamente trovarvi nella directory~/src/), sarà equivalente a lanciare una sola passata dipdflatex
- lanciando tre volte
È possibile compilare singolarmente ogni capitolo e ogni asset, è sufficiente lanciare la compilazione sul singolo .tex desiderato.
Se lavorate con degli IDE o con degli editor in coppia con dei tool per la scrittura LaTeX (e.g. VS Code + LaTeX Workshop o Atom + latex), assicuratevi di attivare il flag -shell-escape dalle impostazioni di compilazione del vostro tool.
Prerequisiti:
- VS Code
- Latex Workshop (estensione di VS Code)
- TeXLive distribuzione TeX, raccomandata dagli sviluppatori di Latex Workshop (vedi qui)
Procedimento:
-
All'interno della repo troverete il file
Appunti-LFC.code-workspace; in questo file di configurazione sono presenti tutte le impostazioni per compilare con successo il progetto. Per farlo funzionare, è necessario che il workspace sia aperto con VS Code. (Aprire il file e premere Open Workspace) -
Per compilare, basta premere
Ctrl+Alt+B(oCmd+Alt+Bsu Mac) se questa è la vostra shortcut, altrimenti premere il pulsante verde play (⊳).
Nota: all'interno del di Appunti-LFC.code-workspace oltre lo stretto necessario sono presenti diverse opzioni (e.g. autoBuild.run: "onSave", autoClean.run: "onBuilt" ).
Per utilizzare queste opzioni è necessario aprire solo la cartella contenente il file Appunti-LFC.code-workspace e successivamente aprire il workspace.
Per disattivarle è sufficiente commentare o cancellare la riga corrispondente.
Per maggiori informazioni consultare la documentazione sui workspaces e per le diverse opzioni di compiling quella di Latex Workshop.
Ogniqualvolta si effettua un commit sul branch master contenente dei cambiamenti all'interno della cartella src
verrà automaticamente avviato il processo di build & release, il quale compila la dispensa con l'ultima versione di Latex disponibile. I log della compilazione possono essere trovati nella pagina delle actions, nella relativa run. Dopo che la compilazione ha avuto esito positivo
verrà creata una release impostata come latest contenente il pdf, lo stesso viene caricato nel repository linguaggi-formali-e-compilatori, dove potete
trovare altro materiale utile.
Ogni volta che viene effettuato un push su un branch diverso dal master verrà eseguita una action con gli stessi passaggi di quella per la release ad eccezione della pubblicazione del risultato finale. Si potrà trovare il pdf e i relativi log nella pagina dei workflow (questi file saranno disponibili per 24 ore) cliccando sulla prima riga partendo dall'alto e recandosi nella sezione Artifacts. Questo è utile per vedere come sarà il risultato finale e accorgervi di eventuali discrepanze tra la versione compilata localmente e quella che verrà pubblicata una volta mergiato il vostro branch col master.
standaloneper gestire la compilazione autonoma di capitoli e assetstabularxper la gestione delle tabelleforestper la generazione degli alberitikzcon librerieautomataper la generazione dei grafialgorithm2eper la scrittura degli pseudocodicimintedper la scrittura di codice
- Curatori
- Scrittori
- Tecnici
- Revisori
- Revisori del 2023