lex & yacc

Doug Brown; John Levine; Tony Mason

Brossura

ISBN 10: 1565920007 ISBN 13: 9781565920002

Casa editrice: O'Reilly Media, 1996

This book shows you how to use two Unix utilities, lex andyacc, in program development. These tools help programmers build compilers and interpreters, but they also have a wider range of applications.The second edition contains completely revised tutorial sections for novice users and reference sections for advanced users. This edition is twice the size of the first and has an expanded index.The following material has been added:

• Each utility is explained in a chapter that covers basic usage and simple, stand-alone applications
• How to implement a full SQL grammar, with full sample code
• Major MS-DOS and Unix versions of lex and yacc are explored in depth, including AT&T lex and yacc, Berkeley yacc, Berkeley/GNU Flex, GNU Bison, MKS lex andyacc, and Abraxas PCYACC

L'autore:

Gregory Satir helps develop online publishing tools in the Portland, Oregon, office of Electronic Book Technologies. He graduated with a B.S. in computer science from Brown University. Doug Brown is a consultant/contractor in Beaverton, Oregon. He has been developing software for circuit simulation, synthesis, and testing since 1977. Doug coauthored lex & yacc, another O'Reilly & Associates Nutshell Handbook. He received an M.S. in electrical engineering from the University of Illinois at Urbana-Champaign in 1976.

John R. Levine writes, lectures, and consults on Unix and compiler topics. He moderates the online comp.compilers discussion group at Usenet. He worked on Unix versions Lotus 1-2-3 and the Norton Utilities and was one of the architects of AIX for the IBM RT PC. He received a Ph.D in computer science from Yale in 1984.

Tony Mason is currently a member of the AFS development team at Transarc Corporation, a small start-up company specializing in distributed systems software. Previously, he worked with the Distributed Systems Group at Stanford University in the area of distributed operating systems and data communications. He received a B.S. in mathematics from the University of Chicago in 1987.

Contenuti:

Preface; What’s New in the Second Edition; Scope of This Book; Availability of Lex and Yacc; Sample Programs; Conventions Used in This Handbook; Acknowledgments; Chapter 1: Lex and Yacc; 1.1 The Simplest Lex Program; 1.2 Recognizing Words with Lex; 1.3 Grammars; 1.4 The Parts of Speech Lexer; 1.5 Running Lex and Yacc; 1.6 Lex vs. Hand-written Lexers; 1.7 Exercises; Chapter 2: Using Lex; 2.1 Regular Expressions; 2.2 A Word Counting Program; 2.3 Parsing a Command Line; 2.4 A C Source Code Analyzer; 2.5 Summary; 2.6 Exercises; Chapter 3: Using Yacc; 3.1 Grammars; 3.2 Shift/Reduce Parsing; 3.3 A Yacc Parser; 3.4 The Lexer; 3.5 Arithmetic Expressions and Ambiguity; 3.6 Variables and Typed Tokens; 3.7 Symbol Tables; 3.8 Functions and Reserved Words; 3.9 Building Parsers with Make; 3.10 Summary; 3.11 Exercises; Chapter 4: A Menu Generation Language; 4.1 Overview of the MGL; 4.2 Developing the MGL; 4.3 Building the MGL; 4.4 Screen Processing; 4.5 Termination; 4.6 Sample MGL Code; 4.7 Exercises; Chapter 5: Parsing SQL; 5.1 A Quick Overview of SQL; 5.2 Three Ways to Use SQL; 5.3 The Syntax Checker; 5.4 The Parser; Chapter 6: A Reference for Lex Specifications; 6.1 Structure of a Lex Specification; 6.2 BEGIN; 6.3 ECHO; 6.4 Input from Strings; 6.5 Internal Tables (%N Declarations); 6.6 Line Numbers and yylineno; 6.7 Multiple Lexers in One Program; 6.8 output(); 6.9 Portability of Lex Lexers; 6.10 Regular Expression Syntax; 6.11 REJECT; 6.12 Returning Values from yylex(); 6.13 unput(); 6.14 yyinput(), yyoutput(), yyunput(); 6.15 yyleng; 6.16 yyless(); 6.17 yylex(); 6.18 yymore(); 6.19 yytext; 6.20 yywrap(); Chapter 7: A Reference for Yacc Grammars; 7.1 Structure of a Yacc Grammar; 7.2 Actions; 7.3 Ambiguity and Conflicts; 7.4 Bugs in Yacc; 7.5 End Marker; 7.6 Error Token and Error Recovery; 7.7 %ident Declaration; 7.8 Inherited Attributes ($0); 7.9 Lexical Feedback; 7.10 Literal Block; 7.11 Literal Tokens; 7.12 Portability of Yacc Parsers; 7.13 Precedence, Associativity, and Operator Declarations; 7.14 Recursive Rules; 7.15 Rules; 7.16 Special Characters; 7.17 Start Declaration; 7.18 Symbol Values; 7.19 Tokens; 7.20 %type Declaration; 7.21 %union Declaration; 7.22 Variant and Multiple Grammars; 7.23 y.output Files; 7.24 Yacc Library; 7.25 YYABORT; 7.26 YYACCEPT; 7.27 YYBACKUP; 7.28 yyclearin; 7.29 yydebug and YYDEBUG; 7.30 YYDEBUG; 7.31 yyerrok; 7.32 YYERROR; 7.33 yyerror(); 7.34 yyparse(); 7.35 YYRECOVERING(); Chapter 8: Yacc Ambiguities and Conflicts; 8.1 The Pointer Model and Conflicts; 8.2 Common Examples of Conflicts; 8.3 IF—THEN—ELSE; 8.4 How Do I Fix the Conflict?; 8.5 IF—THEN—ELSE (Shift/Reduce); 8.6 Summary; 8.7 Exercises; Chapter 9: Error Reporting and Recovery; 9.1 Error Reporting; 9.2 Error Recovery; 9.3 Compiler Error Recovery; 9.4 Exercises; AT&T Lex; Error Messages; AT&T Yacc; Options; Error Messages; Berkeley Yacc; Options; Error Messages; GNU Bison; Differences; Flex; Flex Differences; Options; Error Messages; Flex Versions of Lexer Examples; MKS lex and yacc; Differences; New Features; Abraxas lex and yacc; Differences; New Features; POSIX lex and yacc; Options; Differences; MGL Compiler Code; MGL Yacc Source; MGL Lex Source; Supporting C Code; SQL Parser Code; Yacc Parser; Cross-reference; SQL Parser Code; Lex Scanner; Supporting Code; Glossary; Bibliography;