base 2.3 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485
  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