| 书目名称 | Formal Languages and Compilation |
| 编辑 | Stefano Crespi Reghizzi,Luca Breveglieri,Angelo Mo |
| 视频video | |
| 概述 | Presents an introduction to the fundamentals of formal language theory and formal methods, compiler and language design, and natural language processing.Includes many illustrative examples, and suppli |
| 丛书名称 | Texts in Computer Science |
| 图书封面 |  |
| 描述 | .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 |
| 出版日期 | Textbook 2019Latest edition |
| 关键词 | Programming; Formal languages; Translation; Compiler; Automata; Language theory |
| 版次 | 3 |
| doi | https://doi.org/10.1007/978-3-030-04879-2 |
| isbn_ebook | 978-3-030-04879-2Series ISSN 1868-0941 Series E-ISSN 1868-095X |
| issn_series | 1868-0941 |
| copyright | Springer Nature Switzerland AG 2019 |
发表于 2025-3-21 16:30:18
