Advertisement

Parsing Theory

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

  • Seppo Sippu
  • Eljas Soisalon-Soininen

Part of the EATCS book series (EATCS, volume 20)

Table of contents

  1. Front Matter
    Pages I-IX
  2. Seppo Sippu, Eljas Soisalon-Soininen
    Pages 1-118
  3. Seppo Sippu, Eljas Soisalon-Soininen
    Pages 119-196
  4. Seppo Sippu, Eljas Soisalon-Soininen
    Pages 197-287
  5. Seppo Sippu, Eljas Soisalon-Soininen
    Pages 289-327
  6. Seppo Sippu, Eljas Soisalon-Soininen
    Pages 329-409
  7. Back Matter
    Pages 411-427

About this book

Introduction

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.

Keywords

Compiler Deterministisches Parsing Grammatiken Implementierung von Parsern Kontext-Freie Sprachen Parsing Syntax algorithms complexity formal language

Authors and affiliations

  • Seppo Sippu
    • 1
  • Eljas Soisalon-Soininen
    • 2
  1. 1.Department of Computer ScienceUniversity of JyväskyläJyväskyläFinland
  2. 2.Department of Computer ScienceUniversity of HelsinkiHelsinkiFinland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-08424-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 1990
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-08079-1
  • Online ISBN 978-3-662-08424-3
  • Series Print ISSN 1431-2654
  • Buy this book on publisher's site