| author | Christian Urban <urbanc@in.tum.de> |
| Wed, 21 Aug 2019 10:29:34 +0200 | |
| changeset 344 | 4e73568b9cf6 |
| parent 195 | c2d36c3cf8ad |
| permissions | -rw-r--r-- |
1 (()|.)(b) ab (0,2)(0,1)(1,2) -1 (()|.)(b) ab (0,2)(0,1)(1,2) #2 (()|[ab])(b) ab (0,2)(0,1)(?,?)(1,2) #-2 (()|[ab])(b) ab (1,2)(1,1)(1,1)(1,2) #3 (()|[ab])+b aaab (0,4)(2,3)(?,?) #-3 (()|[ab])+b aaab (3,4)(3,3)(3,3) 11 (.|())(b) ab (0,2)(0,1)(1,2) #12 ([ab]|())(b) ab (0,2)(0,1)(?,?)(1,2) #14 ([ab]|())+b aaab (0,4)(2,3)(?,?) #-14 ([ab]|())+b aaab (0,4)(3,3)(3,3) 20 (.?)(b) ab (0,2)(0,1)(1,2)