Formal Languages and Compilation

• Κύριοι συγγραφείς: Crespi Reghizzi, Stefano (Συγγραφέας), Breveglieri, Luca (Συγγραφέας), Morzenti, Angelo (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London : Imprint: Springer, 2013.
• Έκδοση: 2nd ed. 2013.
• Σειρά: Texts in Computer Science,
• Θέματα: Computer science.; Mathematical logic.; Computer Science.; Mathematical Logic and Formal Languages.

This fully revised and expanded new edition elucidates the elegance and simplicity of the fundamental theory underlying Formal Languages and Compilation. Retaining the reader-friendly, minimalist style of the first edition, this uniquely versatile textbook describes the essential principles and meth...

Πίνακας περιεχομένων:

• Introduction
• Syntax
• Finite Automata as Regular Language Recognizers
• Pushdown Automata and Parsing
• Translation Semantics and Static Analysis.