Manual

i
Table of Contents
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Conditions for Using Bison . . . . . . . . . . . . . . . . . . . . 3
GNU GENERAL PUBLIC LICENSE . . . . . . . . . . 5
Preamble . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND
MODIFICATION . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
Appendix: How to Apply These Terms to Your New Programs . . . . . 10
1 The Concepts of Bison . . . . . . . . . . . . . . . . . . . . 11
1.1 Languages and Context-Free Grammars . . . . . . . . . . . . . . . . . . . . . . 11
1.2 From Formal Rules to Bison Input. . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.3 Semantic Values. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.4 Semantic Actions. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.5 Writing GLR Parsers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.5.1 Using GLR on Unambiguous Grammars . . . . . . . . . . . . . . . . . 15
1.5.2 Using GLR to Resolve Ambiguities . . . . . . . . . . . . . . . . . . . . . . 17
1.5.3 GLR Semantic Actions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.5.4 Considerations when Compiling GLR Parsers. . . . . . . . . . . . . 20
1.6 Locations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.7 Bison Output: the Parser File . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.8 Stages in Using Bison. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.9 The Overall Layout of a Bison Grammar . . . . . . . . . . . . . . . . . . . . . 22
2 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.1 Reverse Polish Notation Calculator . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.1.1 Declarations for rpcalc . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.1.2 Grammar Rules for rpcalc . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.1.2.1 Explanation of input . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.1.2.2 Explanation of line . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.1.2.3 Explanation of expr . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.1.3 The rpcalc Lexical Analyzer . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.1.4 The Controlling Function. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.1.5 The Error Reporting Routine . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.1.6 Running Bison to Make the Parser . . . . . . . . . . . . . . . . . . . . . . 28
2.1.7 Compiling the Parser File . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.2 Infix Notation Calculator: calc . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.3 Simple Error Recovery . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.4 Location Tracking Calculator: ltcalc . . . . . . . . . . . . . . . . . . . . . . . 31
2.4.1 Declarations for ltcalc . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.4.2 Grammar Rules for ltcalc . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31