Dal 1946 a fianco di professionisti e studenti Scopri cosa dicono di noi

Libri di Stefano Crespi Reghizzi

Formal Languages and Compilation

Luca Breveglieri, Stefano Crespi Reghizzi
e altri

editore: Springer

This classroom-tested and clearly-written textbook presents a focused guide to the conceptual foundations of compilation, explaining the fundamental principles and algorithms used for defining the syntax of languages, and for implementing simple translators.This significantly updated and expanded third edition has been enhanced with additional coverage of regular expressions, visibly pushdown languages, bottom-up and top-down deterministic parsing algorithms, and new grammar models.Topics and features: describes the principles and methods used in designing syntax-directed applications such as parsing and regular expression matching; covers translations, semantic functions (attribute grammars), and static program analysis by data flow equations; introduces an efficient method for string matching and parsing suitable for ambiguous regular expressions (NEW); presents a focus on extended BNF grammars with their general parser and with LR(1) and LL(1) parsers (NEW); introduces a parallel parsing algorithm that exploits multiple processing threads to speed up syntax analysis of large files; discusses recent formal models of input-driven automata and languages (NEW); includes extensive use of theoretical models of automata, transducers and formal grammars, and describes all algorithms in pseudocode; contains numerous illustrative examples, and supplies a large set of exercises with solutions at an associated website.Advanced undergraduate and graduate students of computer science will find this reader-friendly textbook to be an invaluable guide to the essential concepts of syntax-directed compilation. The fundamental paradigms of language structures are elegantly explained in terms of the underlying theory, without requiring the use of software tools or knowledge of implementation, and through algorithms simple enough to be practiced by paper and pencil.
84,00 79,80
32,00 30,40

Linguaggi formali e compilazione

Stefano Crespi Reghizzi

editore: Pitagora

pagine: 368

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)...
29,00 27,55
21,50 20,43
20,14

Inserire il codice per il download.

Inserire il codice per attivare il servizio.