| 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
|
|---|
