1 ; ---------------------------------------------------------------------------
 2 ;
 3 ;  GrammarS=SaSb,EPSILON.dat
 4 ;
 5 ; ---------------------------------------------------------------------------
 6 ;
 7 ;  The sample grammar with epsilon productions,
 8 ;
 9 ;      S -> S a S b | EPSILON
10 ;
11 ;  from page 386 and 389-90 of
12 ;
13 ;  THE THEORY OF PARSING, TRANSLATION AND COMPILING, VOL. 1: PARSING,
14 ;  Alfred V. Aho and Jeffrey D. Ullman, Addison-Wesley, 1986.
15 ;
16 
17 ; Productions.
18 
19 (
20    (S -> S |a| S |b| / EPSILON)
21 )
22 
23 
24 ; Terminal symbols, put between || delimiters to suppress LISP conversion to upper case upon read.
25 
26 ( |a| |b| )