Formal languages and compilation

書誌事項

Formal languages and compilation

by Stefano Crespi Reghizzi

(Texts in computer science)

Springer, c2009

  • : hard

大学図書館所蔵 件 / 2

この図書・雑誌をさがす

注記

Includes bibliographical references (p. 353-355) and index

内容説明・目次

内容説明

This book covers the fundamentals concepts of formal languages and compilation. The book presents the subject in a clear, reader-friendly and simple minimalist way, presenting the principles and methods used for defining the syntax of artificial languages and to implement simple translators, as well as in designing syntax-directed translators. Features: Unifies the concepts and notations used in the various approaches of parsing algorithms; concepts are illustrated with many realistic examples, to ease the understanding of the theory and the transfer to application; theoretical models of automata, transducers and formal grammars are used extensively; algorithms are described in a pseudo-code to avoid the disturbing details of a programming language, yet they are straightforward to convert to executable procedures; problems and solutions are available via an author website. This comprehensive and clearly written text will be welcomed by graduate students as the ideal guide to the fundamentals of this field.

目次

Introduction.- Syntax.- Finite Automata and Recognition of Regular Languages.- Phrases Recognition and Parsing.- Translation, Semantic, and Static Analysis.- Appendix: Case Studies.- Index.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ