| author | Christian Urban <urbanc@in.tum.de> |
| Thu, 07 Feb 2019 10:52:41 +0000 | |
| changeset 305 | 6e2cef17a9b3 |
| 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)