-
Notifications
You must be signed in to change notification settings - Fork 2
/
g012.O3.ixml.xml
137 lines (130 loc) · 4.43 KB
/
g012.O3.ixml.xml
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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" href="../../lib/ixml-html.xsl"?>
<ixml xmlns:gt="http://blackmesatech.com/2020/grammartools"
gt:date="2021-01-26T17:01:35.987739-07:00"
gt:base-grammar="file:/Users/cmsmcq/2021/ixml-tests/tests-straw/gxxx/g012.ixml.xml"
gt:base-grammar-uri="file:/Users/cmsmcq/2021/ixml-tests/tests-straw/gxxx/g012.ixml.xml"
gt:dg-type="regular approximation"
gt:ra-type="rk-subset"
gt:k="3">
<comment>2021-01-26T17:01:35.987739-07:00: ixml-to-rk-subset.xsl.</comment>
<comment> Input: file:/Users/cmsmcq/2021/ixml-tests/tests-straw/gxxx/g012.ixml.xml</comment>
<comment> This grammar accepts the r_3 subset </comment>
<comment> of the language accepted by the input grammar.</comment>
<comment>2021-01-26T17:01:35.987739-07:00: ixml-annotate-pc.xsl.</comment>
<comment> Input: file:/Users/cmsmcq/2021/ixml-tests/tests-straw/gxxx/g012.ixml.xml</comment>
<comment> Grammar augmented with @gt:recursive etc.</comment>
<comment> g012: a small ixml grammar: 012
One of a series (initially for test case construction).
This one is an FSA with 0 nonfinal states, 1 final state, 2 arcs.
(I'm not counting the nil arc marking S as final.)
L is the set containing any string of XML characters other than
blank or the C0 characters (tab, CR, LF).
</comment>
<comment> Revisions:
2021-01-17 : CMSMcQ : made ixml
</comment>
<comment> First, nonrecursive production rules </comment>
<comment> Second, recursive production rules </comment>
<rule name="S" gt:basename="S" gt:affix="" gt:type="stack-affixed">
<alt/>
<alt>
<inclusion>
<range from="#21" to="#D7FF"/>
<range from="#E000" to="#FFFD"/>
</inclusion>
<nonterminal name="S·S·" gt:basename="S" gt:affix="S·"/>
</alt>
<alt>
<inclusion>
<range from="#10000" to="#10FFFF"/>
</inclusion>
<nonterminal name="S·S·" gt:basename="S" gt:affix="S·"/>
</alt>
</rule>
<rule name="S·S·"
gt:basename="S"
gt:affix="S·"
gt:type="stack-affixed">
<alt/>
<alt>
<inclusion>
<range from="#21" to="#D7FF"/>
<range from="#E000" to="#FFFD"/>
</inclusion>
<nonterminal name="S·S·S·" gt:basename="S" gt:affix="S·S·"/>
</alt>
<alt>
<inclusion>
<range from="#10000" to="#10FFFF"/>
</inclusion>
<nonterminal name="S·S·S·" gt:basename="S" gt:affix="S·S·"/>
</alt>
</rule>
<rule name="S·S·S·"
gt:basename="S"
gt:affix="S·S·"
gt:type="stack-affixed">
<alt/>
<alt>
<inclusion>
<range from="#21" to="#D7FF"/>
<range from="#E000" to="#FFFD"/>
</inclusion>
<nonterminal name="S·S·S·S·" gt:basename="S" gt:affix="S·S·S·"/>
</alt>
<alt>
<inclusion>
<range from="#10000" to="#10FFFF"/>
</inclusion>
<nonterminal name="S·S·S·S·" gt:basename="S" gt:affix="S·S·S·"/>
</alt>
</rule>
<rule name="S·S·S·S·"
gt:basename="S"
gt:affix="S·S·S·"
gt:type="stack-affixed">
<alt/>
<alt>
<inclusion>
<range from="#21" to="#D7FF"/>
<range from="#E000" to="#FFFD"/>
</inclusion>
<nonterminal name="S·S·S·S·S·" gt:basename="S" gt:affix="S·S·S·S·"/>
</alt>
<alt>
<inclusion>
<range from="#10000" to="#10FFFF"/>
</inclusion>
<nonterminal name="S·S·S·S·S·" gt:basename="S" gt:affix="S·S·S·S·"/>
</alt>
</rule>
<rule name="S·S·S·S·S·"
gt:basename="S"
gt:affix="S·S·S·S·"
gt:type="stub">
<alt>
<nonterminal name="max-S"/>
</alt>
</rule>
<rule name="max-S">
<alt>
<repeat0>
<alts>
<alt>
<inclusion>
<range from="#21" to="#D7FF"/>
<range from="#E000" to="#FFFD"/>
</inclusion>
</alt>
<alt>
<inclusion>
<range from="#10000" to="#10FFFF"/>
</inclusion>
</alt>
</alts>
</repeat0>
</alt>
</rule>
<comment> bye </comment>
</ixml>