Formal Languages and Compilation
thus extending methods coverage with a reduced definitional apparatus • Introduces static program analysis, moving from the baseline reached with finite automata and local languages This comprehensive and clearly written text, based on many years of course instruction, will be welcomed as the ideal...
Main Author: | |
---|---|
Format: | eBook |
Language: | English |
Published: |
London
Springer London
2009, 2009
|
Edition: | 1st ed. 2009 |
Series: | Texts in Computer Science
|
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- Syntax
- Finite Automata as Regular Language Recognizers
- Pushdown Automata and Top-down Parsing
- Bottom-Up and General Parsing
- Translation Semantics and Static Analysis