| author | Christian Urban <urbanc@in.tum.de> |
| Fri, 17 Mar 2017 19:47:42 +0000 | |
| changeset 238 | 2dc1647eab9e |
| 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)