| author | Christian Urban <urbanc@in.tum.de> |
| Mon, 29 Jul 2019 20:20:32 +0100 | |
| changeset 334 | cc26b029a866 |
| 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)