Linguaggi formali e compilazione PDF

Scarica l'e-book Linguaggi formali e compilazione in formato pdf. L'autore del libro è Stefano Crespi Reghizzi. Buona lettura su equilibrifestival.it!

Equilibrifestival.it Linguaggi formali e compilazione Image

DESCRIZIONE

I compilatori traducono i linguaggi artificiali nelle rappresentazioni usate dalle macchine di calcolo: senza di essi non ci sarebbe 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 permesso la realizzazione di 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 conducono il lettore verso la comprensione analitica e la capacità progettuale delle tecniche elementari di compilazione. L'esperienza dell'autore nella ricerca e sviluppo sui linguaggi e sui compilatori si riflette nella selezione degli argomenti, sempre motivata da finalità applicativa e da economia concettuale. L'opera vuole trovare un giusto medio tra i testi di orientamento puramente teorico e i manuali realizzativi dei compilatori. Il passaggio dagli algoritmi alla realizzazione è sufficientemente delineato, senza cadere nella prolissità della programmazione, affinché un lettore di cultura informatica possa compierlo da solo. Al termine del percorso, il lettore comprenderà il funzionamento delle parti essenziali di un compilatore, conoscerà gli algoritmi usati negli attrezzi (scanner parser generator)...

ISBN: 9788837116323

DATA: 2006

AUTORE: Stefano Crespi Reghizzi

DIMENSIONE: 10,67 MB

NOME DEL FILE: Linguaggi formali e compilazione.pdf

SCARICARE
LEGGI ONLINE

Online Pdf Linguaggi formali e compilazione - Mylda pdf

Un linguaggio di programmazione, in informatica, è un linguaggio formale che specifica un insieme di istruzioni che possono essere usate per produrre dati in output.Esso è utilizzabile per il controllo del comportamento di una macchina formale o di una implementazione di essa (tipicamente, un computer) ovvero in fase di programmazione di questa attraverso la scrittura del codice sorgente di ...

Linguaggi formali e compilazione | Crespi Reghizzi Stefano ...

Linguaggi formali e compilazione, Libro di Stefano Crespi Reghizzi, Luca Breveglieri. Sconto 5% e Spedizione con corriere a solo 1 euro. Acquistalo su libreriauniversitaria.it! Pubblicato da Esculapio, brossura, data pubblicazione settembre 2015, 9788874888757.