| lh | 9ed821d | 2023-04-07 01:36:19 -0700 | [diff] [blame] | 1 | :RE#01:E a+ xaax (1,3) |
| 2 | :RE#02:B .\(a*\). xaax (0,4)(1,3) |
| 3 | :RE#03:E (a?)((ab)?) ab (0,2)(0,0)(0,2)(0,2) |
| 4 | :RE#04:E (a?)((ab)?)(b?) ab (0,2)(0,1)(1,1)(?,?)(1,2) |
| 5 | :RE#05:E ((a?)((ab)?))(b?) ab (0,2)(0,2)(0,0)(0,2)(0,2)(2,2) |
| 6 | :RE#06:E (a?)(((ab)?)(b?)) ab (0,2)(0,1)(1,2)(1,1)(?,?)(1,2) |
| 7 | :RE#07:E (.?) x (0,1)(0,1) |
| 8 | :RE#08:E (.?){1} x (0,1)(0,1) |
| 9 | :RE#09:E (.?)(.?) x (0,1)(0,1)(1,1) |
| 10 | :RE#10:E (.?){2} x (0,1)(1,1) |
| 11 | :RE#11:E (.?)* x (0,1)(0,1) |
| 12 | :RE#12:E (.?.?) xxx (0,2)(0,2) |
| 13 | :RE#13:E (.?.?){1} xxx (0,2)(0,2) |
| 14 | :RE#14:E (.?.?)(.?.?) xxx (0,3)(0,2)(2,3) |
| 15 | :RE#15:E (.?.?){2} xxx (0,3)(2,3) |
| 16 | :RE#16:E (.?.?)(.?.?)(.?.?) xxx (0,3)(0,2)(2,3)(3,3) |
| 17 | :RE#17:E (.?.?){3} xxx (0,3)(3,3) |
| 18 | :RE#18:E (.?.?)* xxx (0,3)(2,3) |
| 19 | :RE#19:E a?((ab)?)(b?) ab (0,2)(1,1)(?,?)(1,2) |
| 20 | :RE#20:E (a?)((ab)?)b? ab (0,2)(0,1)(1,1)(?,?) |
| 21 | :RE#21:E a?((ab)?)b? ab (0,2)(1,1)(?,?) |
| 22 | :RE#22:E (a*){2} xxxxx (0,0)(0,0) |
| 23 | :RE#23:E (ab?)(b?a) aba (0,3)(0,2)(2,3) |
| 24 | :RE#24:E (a|ab)(ba|a) aba (0,3)(0,2)(2,3) |
| 25 | :RE#25:E (a|ab|ba) aba (0,2)(0,2) |
| 26 | :RE#26:E (a|ab|ba)(a|ab|ba) aba (0,3)(0,2)(2,3) |
| 27 | :RE#27:E (a|ab|ba)* aba (0,3)(2,3) |
| 28 | :RE#28:E (aba|a*b) ababa (0,3)(0,3) |
| 29 | :RE#29:E (aba|a*b)(aba|a*b) ababa (0,5)(0,2)(2,5) |
| 30 | :RE#30:E (aba|a*b)* ababa (0,5)(2,5) |
| 31 | :RE#31:E (aba|ab|a) ababa (0,3)(0,3) |
| 32 | :RE#32:E (aba|ab|a)(aba|ab|a) ababa (0,5)(0,2)(2,5) |
| 33 | :RE#33:E (aba|ab|a)* ababa (0,5)(2,5) |
| 34 | :RE#34:E (a(b)?) aba (0,2)(0,2)(1,2) |
| 35 | :RE#35:E (a(b)?)(a(b)?) aba (0,3)(0,2)(1,2)(2,3)(?,?) |
| 36 | :RE#36:E (a(b)?)+ aba (0,3)(2,3)(?,?) |
| 37 | :RE#37:E (.*)(.*) xx (0,2)(0,2)(2,2) |
| 38 | :RE#38:E .*(.*) xx (0,2)(2,2) |
| 39 | :RE#39:E (a.*z|b.*y) azbazby (0,5)(0,5) |
| 40 | :RE#40:E (a.*z|b.*y)(a.*z|b.*y) azbazby (0,7)(0,5)(5,7) |
| 41 | :RE#41:E (a.*z|b.*y)* azbazby (0,7)(5,7) |
| 42 | :RE#42:E (.|..)(.*) ab (0,2)(0,2)(2,2) |
| 43 | :RE#43:E ((..)*(...)*) xxx (0,3)(0,3)(?,?)(0,3) |
| 44 | :RE#44:E ((..)*(...)*)((..)*(...)*) xxx (0,3)(0,3)(?,?)(0,3)(3,3)(?,?) |
| 45 | :RE#45:E ((..)*(...)*)* xxx (0,3)(0,3)(?,?)(0,3) |
| 46 | :RE#46:B \(a\{0,1\}\)*b\1 ab (0,2)(1,1) |
| 47 | :RE#47:B \(a*\)*b\1 ab (0,2)(1,1) |
| 48 | :RE#48:B \(a*\)b\1* ab (0,2)(0,1) |
| 49 | :RE#49:B \(a*\)*b\1* ab (0,2)(1,1) |
| 50 | :RE#50:B \(a\{0,1\}\)*b\(\1\) ab (0,2)(1,1)(2,2) |
| 51 | :RE#51:B \(a*\)*b\(\1\) ab (0,2)(1,1)(2,2) |
| 52 | :RE#52:B \(a*\)b\(\1\)* ab (0,2)(0,1)(?,?) |
| 53 | :RE#53:B \(a*\)*b\(\1\)* ab (0,2)(1,1)(2,2) |
| 54 | :RE#54:B \(a\{0,1\}\)*b\1 aba (0,3)(0,1) |
| 55 | :RE#55:B \(a*\)*b\1 aba (0,3)(0,1) |
| 56 | :RE#56:B \(a*\)b\1* aba (0,3)(0,1) |
| 57 | :RE#57:B \(a*\)*b\1* aba (0,3)(0,1) |
| 58 | :RE#58:B \(a*\)*b\(\1\)* aba (0,3)(0,1)(2,3) |
| 59 | :RE#59:B \(a\{0,1\}\)*b\1 abaa (0,3)(0,1) |
| 60 | :RE#60:B \(a*\)*b\1 abaa (0,3)(0,1) |
| 61 | :RE#61:B \(a*\)b\1* abaa (0,4)(0,1) |
| 62 | :RE#62:B \(a*\)*b\1* abaa (0,4)(0,1) |
| 63 | :RE#63:B \(a*\)*b\(\1\)* abaa (0,4)(0,1)(3,4) |
| 64 | :RE#64:B \(a\{0,1\}\)*b\1 aab (0,3)(2,2) |
| 65 | :RE#65:B \(a*\)*b\1 aab (0,3)(2,2) |
| 66 | :RE#66:B \(a*\)b\1* aab (0,3)(0,2) |
| 67 | :RE#67:B \(a*\)*b\1* aab (0,3)(2,2) |
| 68 | :RE#68:B \(a*\)*b\(\1\)* aab (0,3)(2,2)(3,3) |
| 69 | :RE#69:B \(a\{0,1\}\)*b\1 aaba (0,4)(1,2) |
| 70 | :RE#70:B \(a*\)*b\1 aaba (0,4)(1,2) |
| 71 | :RE#71:B \(a*\)b\1* aaba (0,3)(0,2) |
| 72 | :RE#72:B \(a*\)*b\1* aaba (0,4)(1,2) |
| 73 | :RE#73:B \(a*\)*b\(\1\)* aaba (0,4)(1,2)(3,4) |
| 74 | :RE#74:B \(a\{0,1\}\)*b\1 aabaa (0,4)(1,2) |
| 75 | :RE#75:B \(a*\)*b\1 aabaa (0,5)(0,2) |
| 76 | :RE#76:B \(a*\)b\1* aabaa (0,5)(0,2) |
| 77 | :RE#77:B \(a*\)*b\1* aabaa (0,5)(0,2) |
| 78 | :RE#78:B \(a*\)*b\(\1\)* aabaa (0,5)(0,2)(3,5) |
| 79 | :RE#79:B \(x\)*a\1 a NOMATCH |
| 80 | :RE#80:B \(x\)*a\1* a (0,1)(?,?) |
| 81 | :RE#81:B \(x\)*a\(\1\) a NOMATCH |
| 82 | :RE#82:B \(x\)*a\(\1\)* a (0,1)(?,?)(?,?) |
| 83 | :RE#83:E (aa(b(b))?)+ aabbaa (0,6)(4,6)(?,?)(?,?) |
| 84 | :RE#84:E (a(b)?)+ aba (0,3)(2,3)(?,?) |
| 85 | :RE#85:E ([ab]+)([bc]+)([cd]*) abcd (0,4)(0,2)(2,3)(3,4) |
| 86 | :RE#86:B \([ab]*\)\([bc]*\)\([cd]*\)\1 abcdaa (0,5)(0,1)(1,3)(3,4) |
| 87 | :RE#87:B \([ab]*\)\([bc]*\)\([cd]*\)\1 abcdab (0,6)(0,2)(2,3)(3,4) |
| 88 | :RE#88:B \([ab]*\)\([bc]*\)\([cd]*\)\1* abcdaa (0,6)(0,1)(1,3)(3,4) |
| 89 | :RE#89:B \([ab]*\)\([bc]*\)\([cd]*\)\1* abcdab (0,6)(0,2)(2,3)(3,4) |
| 90 | :RE#90:E ^(A([^B]*))?(B(.*))? Aa (0,2)(0,2)(1,2) |
| 91 | :RE#91:E ^(A([^B]*))?(B(.*))? Bb (0,2)(?,?)(?,?)(0,2)(1,2) |
| 92 | :RE#92:B .*\([AB]\).*\1 ABA (0,3)(0,1) |
| 93 | :RE#93:B$ [^A]*A \nA (0,2) |