书目名称 | Formal Languages and Compilation |
编辑 | Stefano Crespi Reghizzi |
视频video | http://file.papertrans.cn/346/345717/345717.mp4 |
概述 | Comprehensive textbook written in a clear and reader-friendly style.Illustrated with examples throughout.Provides many pedagogical tools, such as slides for lecturers via website.Based on many years o |
丛书名称 | Texts in Computer Science |
图书封面 |  |
描述 | State of books on compilers The book collects and condenses the experience of years of teaching compiler courses and doing research on formal language theory, on compiler and l- guage design, and to a lesser extent on natural language processing. In the turmoil of information technology developments, the subject of the book has kept the same fundamental principles over half a century, and its relevance for theory and practice is as important as in the early days. This state of a?airs of a topic, which is central to computer science and is based on consolidated principles, might lead us to believe that the acc- panying textbooks are by now consolidated, much as the classical books on mathematics. In fact this is rather not true: there exist ?ne books on the mathematical aspects of language and automata theory, but the best books on translators are sort of encyclopaedias of algorithms, design methods, and practical know-how used in compiler design. Indeed a compiler is a mic- cosm,featuring avarietyofaspectsrangingfromalgorithmicwisdomto CPU andmemoryexploitation.Asaconsequencethetextbookshavegrowninsize, and compete with respect to their coverage of the last developments on p- gramm |
出版日期 | Textbook 20091st edition |
关键词 | Automat; algorithms; automata; compiler; formal grammar; formal language; logic; programming language; regul |
版次 | 1 |
doi | https://doi.org/10.1007/978-1-84882-050-0 |
isbn_softcover | 978-1-84996-817-1 |
isbn_ebook | 978-1-84882-050-0Series ISSN 1868-0941 Series E-ISSN 1868-095X |
issn_series | 1868-0941 |
copyright | Springer-Verlag London 2009 |