Parsing Theory: Volume II LR(k) and LL(k) Parsing (Monographs in Theoretical Computer Science. An EATCS Series)
On Sale Now! Save 5% on the Parsing Theory: Volume II LR(k) and LL(k) Parsing (Monographs in Theoretical Computer Science. An EATCS Series) by Springer at EMS Linux. MPN: 110 black & white illustrations. Hurry! Limited time offer. Offer valid only while supplies last. 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''
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.
|Part Number:||110 black & white illustrations|
|MPN:||110 black & white illustrations|
|Item Weight:||1.67 pounds|
|Item Size:||1 x 9.61 x 9.61 inches|
|Package Weight:||1.81 pounds|
|Package Size:||6.69 x 1 x 1 inches|
Have questions about this item, or would like to inquire about a custom or bulk order?
If you have any questions about this product by Springer, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.
Related Best Sellers
ean: 9783319765259, isbn: 3319765256,
Floating-point arithmetic is the most widely used way of implementing real-number arithmetic on modern computers. However, making such an arithmetic reliable and portable, yet fast, is a very difficult task. As a result, floating-point arithmetic is ...
By Brand: Springer
ean: 9780792394341, isbn: 0792394348,
Since the initial publication of Practical SGML the computer industry has seen a dramatic increase in the use and acceptance of SGML and many of the concepts derived from it. The existence of Practical SGML has helped to foster this growth as it prov...
mpn: biography, ean: 9783211244845, isbn: 3211244840,
The mental ray series of handbooks is conceived to provide concise and up to date general and technical information about the commercially available rendering software mental ray. The series addresses the needs of professional and non-professional us...
sku: EN-120630-16152, mpn: new-20170302-c0013406, ean: 8580001401003,
By Zia Javanbakht Andreas chsner
ean: 9783319476674, isbn: 331947667X,
This book offers an in-depth insight into the general-purpose finite element program MSC Marc, which is distributed by MSC Software Corporation. It is a specialized program for nonlinear problems (implicit solver) which is common in academia and indu...
By Zeliha Dilsun Kirli
mpn: black & white illustrations, ean: 9781461353485, isbn: 1461353483,
Mobile Computation with Functions explores distributed computation with languages which adopt functions as the main programming abstraction and support code mobility through the mobility of functions between remote sites. It aims to highlight the ben...
By Draheim Dirk
ean: 9783642551970, isbn: 3642551971,
This book takes a foundational approach to the semantics of probabilistic programming. It elaborates a rigorous Markov chain semantics for the probabilistic typed lambda calculus, which is the typed lambda calculus with recursion plus probabilistic c...
mpn: 21 black & white illustrations, biograph, ean: 9781475765380, isbn: 147576538X,
For more and more systems, software has moved from a peripheral to a central role, replacing mechanical parts and hardware and giving the product a competitive edge. Consequences of this trend are an increase in: the size of software systems, the var...
By Cambridge University Press
ean: 9780521416955, isbn: 0521416957,
This book shows how continuation-passing style is used as an intermediate representation to perform optimizations and program transformations. Continuations can be used to compile most programming languages. The method is illustrated in a compiler fo...
ean: 9780471971818, isbn: 0471971812,