Coverart for item
The Resource Formal languages and compilation, Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti

Formal languages and compilation, Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti

Label
Formal languages and compilation
Title
Formal languages and compilation
Statement of responsibility
Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti
Creator
Contributor
Author
Subject
Language
eng
Summary
This fully revised and expanded new edition elucidates the elegance and simplicity of the fundamental theory underlying Formal Languages and Compilation. Retaining the reader-friendly, minimalist style of the first edition, this uniquely versatile textbook describes the essential principles and methods used for defining the syntax of artificial languages, and for designing efficient parsing algorithms and syntax-directed translators with semantic attributes. A comprehensive selection of topics is presented within a rigorous, unified framework, illustrated by numerous practical examples. Features and topics: Presents a novel conceptual approach to parsing algorithms that applies to extended BNF grammars, together with a parallel parsing algorithm (NEW) Supplies supplementary teaching tools, including course slides and exercises with solutions, at an associated website Unifies the concepts and notations used in different approaches, enabling an extended coverage of methods with a reduced number of definitions Systematically discusses ambiguous forms, allowing readers to avoid pitfalls when designing grammars Describes all algorithms in pseudocode, so that detailed knowledge of a specific programming language is not necessary Makes extensive usage of theoretical models of automata, transducers and formal grammars Includes concise coverage of algorithms for processing regular expressions and finite automata Introduces static program analysis based on flow equations This clearly-written, classroom-tested textbook is an ideal guide to the fundamentals of this field for advanced undergraduate and graduate students in computer science and computer engineering. Some background in programming is required, and readers should also be familiar with basic set theory, algebra and logic
Member of
Cataloging source
GW5XE
http://library.link/vocab/creatorName
Crespi-Reghizzi, Stefano
Dewey number
005.453015113
Illustrations
illustrations
Index
index present
Language note
English
LC call number
QA267.3
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Breveglieri, Luca
  • Morzenti, Angelo
Series statement
Texts in Computer Science
http://library.link/vocab/subjectName
  • Formal languages
  • Compiling (Electronic computers)
  • Compiling (Electronic computers)
  • Formal languages
  • Mathematics
  • Physical Sciences & Mathematics
  • Mathematical Theory
Label
Formal languages and compilation, Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Introduction -- Syntax -- Finite Automata as Regular Language Recognizers -- Pushdown Automata and Parsing -- Translation Semantics and Static Analysis
Control code
861969130
Dimensions
unknown
Edition
Second edition.
Extent
1 online resource (xii, 399 pages)
File format
unknown
Form of item
online
Isbn
9781447155157
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-1-4471-5514-0
Other physical details
illustrations.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)861969130
Label
Formal languages and compilation, Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Introduction -- Syntax -- Finite Automata as Regular Language Recognizers -- Pushdown Automata and Parsing -- Translation Semantics and Static Analysis
Control code
861969130
Dimensions
unknown
Edition
Second edition.
Extent
1 online resource (xii, 399 pages)
File format
unknown
Form of item
online
Isbn
9781447155157
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-1-4471-5514-0
Other physical details
illustrations.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)861969130

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...