Blick ins Buch

Parsing Theory

Volume II LR(k) and LL(k) Parsing

Seppo Sippu, Eljas Soisalon-Soininen (Autoren)

Buch | Hardcover

IX, 427 Seiten

1990 | 1990
Springer Berlin (Verlag)
978-3-540-51732-0 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

This work is Volume II of a two-volume monograph on the theory of deterministic parsing of context-free grammars. Volume I, "Languages and Parsing" (Chapters 1 to 5), was an introduction to the basic concepts of formal language theory and context-free parsing. Volume II (Chapters 6 to 10) contains a thorough treat ment of the theory of the two most important deterministic parsing methods: LR(k) and LL(k) parsing. Volume II is a continuation of Volume I; together these two volumes form an integrated work, with chapters, theorems, lemmas, etc. numbered consecutively. Volume II begins with Chapter 6 in which the classical con structions pertaining to LR(k) parsing are presented. These include the canonical LR(k) parser, and its reduced variants such as the LALR(k) parser and the SLR(k) parser. The grammarclasses for which these parsers are deterministic are called LR(k) grammars, LALR(k) grammars and SLR(k) grammars; properties of these grammars are also investigated in Chapter 6. A great deal of attention is paid to the rigorous development of the theory: detailed mathematical proofs are provided for most of the results presented.

6. LR(k) Parsing.- 7. Construction and Implementation of LR(1) Parsers.- 8. LL(k) Parsing.- 9. Syntax Error Handling.- 10. Testing Grammars for Parsability.- Bibliography to Volume II.- Index to Volume II.

Erscheint lt. Verlag	14.11.1990
Reihe/Serie	Monographs in Theoretical Computer Science. An EATCS Series
Zusatzinfo	IX, 427 p.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	861 g
Themenwelt	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
	Informatik ► Theorie / Studium ► Compilerbau
	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
Schlagworte	algorithms • Compiler • Complexity • Computerlinguistik • Deterministisches Parsing • formale Sprachen • formal language • Grammatiken • Implementierung von Parsern • Kontext-Freie Sprachen • parsing • Syntax
ISBN-10	3-540-51732-4 / 3540517324
ISBN-13	978-3-540-51732-0 / 9783540517320
Zustand	Neuware