195
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
1 |
1 (()|.)(b) ab (0,2)(0,1)(1,2)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
2 |
-1 (()|.)(b) ab (0,2)(0,1)(1,2)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
3 |
#2 (()|[ab])(b) ab (0,2)(0,1)(?,?)(1,2)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
4 |
#-2 (()|[ab])(b) ab (1,2)(1,1)(1,1)(1,2)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
5 |
#3 (()|[ab])+b aaab (0,4)(2,3)(?,?)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
6 |
#-3 (()|[ab])+b aaab (3,4)(3,3)(3,3)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
7 |
11 (.|())(b) ab (0,2)(0,1)(1,2)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
8 |
#12 ([ab]|())(b) ab (0,2)(0,1)(?,?)(1,2)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
9 |
#14 ([ab]|())+b aaab (0,4)(2,3)(?,?)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
10 |
#-14 ([ab]|())+b aaab (0,4)(3,3)(3,3)
|
161
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
11 |
20 (.?)(b) ab (0,2)(0,1)(1,2)
|