Opening book details…
Can I read Formal Languages and Compilation (Texts in Computer Science) on EtoBox?
Formal Languages and Compilation (Texts in Computer Science) by Stefano Crespi Reghizzi (auth.) is a nonfiction available to read on EtoBox.
What is Formal Languages and Compilation (Texts in Computer Science) about?
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 structure to meaning. Formal Languages and Compilation covers the fundamental concepts of formal languages and compilation, which are central to computer science and based on well-consolidated principles. It presents a comprehensive selection of topics and is based on rigorous definitions and algorithms, illustrated by many motivating examples, with a focus on the importance of combining theoretical concepts with practical applications. In a clear, reader-friendly and simple minimalist way, this uniquely versatile textbook provides the essential principles and methods used for defining the syntax of artificial languages and implementing simple translators, as well as in designing syntax-directed translators. Readers require some background in programming, although detailed knowledge of a specific programming language is not necessary; they should also be somewhat familiar with basic set theor
Who reads Formal Languages and Compilation (Texts in Computer Science)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Stefano Crespi Reghizzi (auth.)
- Publisher
- Springer London Ltd
- Published
- 2009
- Language
- EN
- ISBN
- 9781848820494
- Category
- nonfiction
- Subjects
- Computer Science, Language Learning, Mathematics
More by Stefano Crespi Reghizzi (auth.)
Browse all works by Stefano Crespi Reghizzi (auth.)
Similar books
- Larch: Languages and Tools for Formal Specification (Texts and Monographs in Computer Science) — John V. Guttag, James J. Horning; with S.J. Garland ... et al. (2012)
- Formal Languages and Compilation — Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti (2019)
- Logic for Applications (Texts in Computer Science) — Anil Nerode; Richard A. Shore (2012)
- Formal Methods in Computer Science (Textbooks in Mathematics) — Jiacun Wang; William M Tepfenhart (2020)
- Picture Languages: Formal Models for Picture Recognition (Computer Science and Applied Mathematics) — Azriel Rosenfeld; Werner Rheinboldt (2014)
- Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series) — Dines Bjørner (2006)