summaryrefslogtreecommitdiff
path: root/web/yacco2/grammar-testsuite/sp_2.lex
blob: 130feb53ad1e4d61b9771811ae236956c5fc6bbf (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
/*
Author: Dave Bone 
FILE:    sp_2.lex
Date:    7 mar 2014	
Purpose: Test out Spector lr(1) resolution page 61
*/
/@
@** Spector  Grammar.\fbreak
David Spector\fbreak
Full LR(1) Parser Generator ACM Sigplan Notices, 16(8), August 1981.\fbreak
Test out LR(1) resolution page 61.
@/
fsm	
(fsm-id "sp_2.lex",fsm-filename sp_2,fsm-namespace NS_sp_2
,fsm-class Csp_2
,fsm-version	"1.0",fsm-date "7 mar 2014",fsm-debug "false"
,fsm-comments	"Test out Spector LR(1) resolution page 61.")
@"/usr/local/yacco2/compiler/grammars/yacco2_T_includes.T"

rules{

Rg(){
  -> Rs eog 
}

Rs(){
  -> a Ra c
  -> a Rb d
  -> b Ra d
  -> b Rb c
}

Ra(){
  -> f
}

Rb(){
  -> f
}
}