Formal Languages and Compilation

• Κύριος συγγραφέας: Crespi Reghizzi, Stefano (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London, 2009.
• Σειρά: Texts in Computer Science,
• Θέματα: Computer science.; Programming languages (Electronic computers).; Computer logic.; Mathematical logic.; Computer Science.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Mathematical Logic and Formal Languages.

Whereas many textbooks on formal languages and compilation focus on technological aspects, it is the elegance and simplicity of the underlying *theory* that allows students to acquire the fundamental paradigms of language structures, to avoid pitfalls such as ambiguity, and to adequately map structu...

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

• Syntax
• Finite Automata as Regular Language Recognizers
• Pushdown Automata and Top-down Parsing
• Bottom-Up and General Parsing
• Translation Semantics and Static Analysis.