Linguaggi Formali e Compilazione

I compilatori traducono i linguaggi artificiali (come Java e XML) nelle rappresentazioni usate dalle macchine di calcolo: senza di essi non esisterebbe l’informatica. I concetti della compilazione hanno avuto origine nella linguistica strutturale e nella logica matematica, da cui si sono sviluppati gli algoritmi e i metodi di progetto che hanno realizzato innumerevoli linguaggi. Il testo espone in modo piano e rigoroso le grammatiche formali, gli automi, gli algoritmi di analisi sintattica, le relazioni di traduzione e gli automi traduttori, le traduzioni guidate dalla sintassi e le funzioni semantiche, terminando con l’analisi statica del flusso nei programmi. Molti esempi, semplici ma realistici, conducono il lettore verso la comprensione analitica e la capacita` progettuale delle tecniche elementari di compilazione.
L’esperienza degli autori nella ricerca e sviluppo su linguaggi e compilatori si riflette nella selezione degli argomenti, sempre motivata da finalita` applicativa e da economia concettuale. L’opera vuole trovare un giusto medio tra i testi di orientamento puramente teorico e i manuali dei compilatori. Il passaggio dagli algoritmi all’implementazione e` sufficientemente delineato, senza prolissita`, affinche´ un lettore di cultura informatica possa compierlo da solo. Al termine del percorso, il lettore comprendera` il funzionamento delle parti essenziali di un compilatore, conoscera` gli algoritmi usati negli strumenti (scanner parser generator) e potra` progettare semplici linguaggi e traduttori sintattici. Il testo e` adatto a un corso universitario di cinque crediti per studenti con almeno due anni di informatica alle spalle. Esso e` la base per approfondimenti specialistici in piu` direzioni, quali: l’ottimizzazione del codice-macchina, i sistemi anti-intrusione, i linguaggi interattivi e grafici, i metodi per il trattamento del linguaggio naturale e i linguaggi per l’accesso ai grandi dati della Rete.

Il formato EPUB è uno standard libero e aperto che è stato sviluppato e pensato specificamente per la produzione di libri digitali. Il grande vantaggio di questo formato è che permette al testo di adattarsi automaticamente allo schermo del dispositivo di lettura, di aumentare o diminuire la dimensione del carattere, personalizzando al massimo l’esperienza di lettura.

Adobe DRM è una tecnologia di Adobe ampiamente utilizzata dagli editori per la distribuzione e protezione dei loro eBook. Il DRM di Adobe è compatibile con la larga maggioranza di lettori eBook. Tra le eccezioni c’è il Kindle. Per visualizzare un elenco dei lettori eBook che supportano il DRM Adobe clicca qui.

Per scaricare e leggere un eBook protetto da DRM Adobe è necessario disporre di un account Adobe, ovvero un ID e una password autorizzati da Adobe e scaricare il programma gratuito Adobe Digital Editions.

Per creare un ID Adobe effettua le seguenti operazioni:

1. Vai sul sito www.adobe.it
2. Clicca sulla voce Accedi in alto a destra
3. Clicca sul bottone Crea un account Adobe
4. Segui le istruzioni

Per scaricare il programma Adobe Digital Editions visita questa pagina.

Per leggere i file protetti da Adobe DRM: per i dispositivi Apple (iPad, iPod Touch e iPhone) è consigliabile scaricare l'applicazione gratutita Bluefire Reader. Clicca qui per maggiori informazioni.

Per i dispositivi Android (tablet e smartphone) è consigliata l'applicazione Aldiko, disponibile gratuitamente nel market. Clicca qui per maggiori informazioni.