1: Expression: a
2: Subexp: a => accept, Ok
3: Subexp: a | a => accept, Ok
4: Subexp: b => reject, Ok
5: Expression: a|b
6: Subexp: a => accept, Ok
7: Subexp: b => accept, Ok
8: Subexp: a | b => accept, Ok
9: Subexp: a{0} => reject, Ok
10: Subexp: b{0} => reject, Ok
11: Expression: a | b | a
12: Subexp: a => accept, Ok
13: Subexp: b => accept, Ok
14: Subexp: a | b => accept, Ok
15: Subexp: b | a => accept, Ok
16: Subexp: a | b | b => accept, Ok
17: Subexp: a | b | a => accept, Ok
18: Subexp: b | a | b => accept, Ok
19: Expression: a,a
20: Subexp: a,a => accept, Ok
21: Subexp: a => reject, Ok
22: Subexp: a,a,a => reject, Ok
23: Expression: a{0,3}
24: Subexp: a{3} => accept, Ok
25: Subexp: a => accept, Ok
26: Subexp: a,a,a => accept, Ok
27: Subexp: a{1,3} => accept, Ok
28: Expression: (a|b){0,4}
29: Subexp: a => accept, Ok
30: Subexp: b => accept, Ok
31: Subexp: a,b => accept, Ok
32: Subexp: a,b,a,b => accept, Ok
33: Subexp: b,a,b,a,b => reject, Ok
34: Subexp: b,a{1,3} => accept, Ok
35: Subexp: a{1,3},b => accept, Ok
36: Subexp: a{1,3},b,a => reject, Ok
37: Subexp: a{1,4},b => reject, Ok
38: Subexp: a{0,5} => reject, Ok
39: Subexp: (b|a){0,4} => accept, Ok
40: Subexp: (b|a){0,4},a => reject, Ok
41: Subexp: (a,b){0,2} => accept, Ok
42: Subexp: (a,b){0,1},b => accept, Ok
43: Expression: a*
44: Subexp: a => accept, Ok
45: Subexp: a? => accept, Ok
46: Subexp: a+ => accept, Ok
47: Subexp: a* => accept, Ok
48: Subexp: a{0} => accept, Ok
49: Expression: a+
50: Subexp: a => accept, Ok
51: Subexp: a? => reject, Ok
52: Subexp: a+ => accept, Ok
53: Subexp: a* => reject, Ok
54: Subexp: a?,a => accept, Ok
55: Subexp: a,a* => accept, Ok
56: Subexp: a*,a => accept, Ok
57: Subexp: a?,a*,a => accept, Ok
58: Subexp: a*,a?,a => accept, Ok
59: Expression: (a|b)*
60: Subexp: a => accept, Ok
61: Subexp: b => accept, Ok
62: Subexp: a,b => accept, Ok
63: Subexp: a,b,a,b => accept, Ok
64: Subexp: (b|a){0,4} => accept, Ok
65: Subexp: (b|a){0,4},a => accept, Ok
66: Subexp: a* => accept, Ok
67: Subexp: b* => accept, Ok
68: Subexp: (a|b)* => accept, Ok
69: Subexp: a{1,3} => accept, Ok
70: Subexp: b,a{1,3} => accept, Ok
71: Subexp: a{1,3},b => accept, Ok
72: Subexp: a*,(a|b)* => accept, Ok
73: Subexp: a*,b{2,5} => accept, Ok
74: Subexp: a*,(a|b)*,b{2,5} => accept, Ok
75: Expression: (a|b)+,(c|d)
76: Subexp: a+,c => accept, Ok
77: Subexp: a*,c => reject, Ok
78: Subexp: a,c => accept, Ok
79: Subexp: a,b*,a*,c => accept, Ok
80: Expression: (a|b),(a|c){0,100}
81: Subexp: a{0,100},(a|c) => accept, Ok
82: Subexp: a{0,101},(a|c) => reject, Ok
83: Expression: (a, ((b, c, d){0,5}, e{0,1}){0,4}, f)
84: Subexp: (a, b, (c, d, b){2,3}, c, d, e, f) => accept, Ok
85: Ops: 0 nodes, 221 cons
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>