progs/tests/forced-assoc.txt
changeset 161 2778715487a9
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/progs/tests/forced-assoc.txt	Sat Apr 09 09:51:00 2016 +0100
@@ -0,0 +1,28 @@
+1	(a|ab)(c|bcd)		abcd	(0,4)(0,1)(1,4)
+2	(a|ab)(bcd|c)		abcd	(0,4)(0,1)(1,4)
+3	(ab|a)(c|bcd)		abcd	(0,4)(0,1)(1,4)
+4	(ab|a)(bcd|c)		abcd	(0,4)(0,1)(1,4)
+5	((a|ab)(c|bcd))(d*)	abcd	(0,4)(0,4)(0,1)(1,4)(4,4)
+6	((a|ab)(bcd|c))(d*)	abcd	(0,4)(0,4)(0,1)(1,4)(4,4)
+7	((ab|a)(c|bcd))(d*)	abcd	(0,4)(0,4)(0,1)(1,4)(4,4)
+8	((ab|a)(bcd|c))(d*)	abcd	(0,4)(0,4)(0,1)(1,4)(4,4)
+9	(a|ab)((c|bcd)(d*))	abcd	(0,4)(0,2)(2,4)(2,3)(3,4)
+10	(a|ab)((bcd|c)(d*))	abcd	(0,4)(0,2)(2,4)(2,3)(3,4)
+11	(ab|a)((c|bcd)(d*))	abcd	(0,4)(0,2)(2,4)(2,3)(3,4)
+12	(ab|a)((bcd|c)(d*))	abcd	(0,4)(0,2)(2,4)(2,3)(3,4)
+13	(a*)(b|abc)		abc	(0,3)(0,0)(0,3)
+14	(a*)(abc|b)		abc	(0,3)(0,0)(0,3)
+15	((a*)(b|abc))(c*)	abc	(0,3)(0,3)(0,0)(0,3)(3,3)
+16	((a*)(abc|b))(c*)	abc	(0,3)(0,3)(0,0)(0,3)(3,3)
+17	(a*)((b|abc)(c*))	abc	(0,3)(0,1)(1,3)(1,2)(2,3)
+18	(a*)((abc|b)(c*))	abc	(0,3)(0,1)(1,3)(1,2)(2,3)
+19	(a*)(b|abc)		abc	(0,3)(0,0)(0,3)
+20	(a*)(abc|b)		abc	(0,3)(0,0)(0,3)
+21	((a*)(b|abc))(c*)	abc	(0,3)(0,3)(0,0)(0,3)(3,3)
+22	((a*)(abc|b))(c*)	abc	(0,3)(0,3)(0,0)(0,3)(3,3)
+23	(a*)((b|abc)(c*))	abc	(0,3)(0,1)(1,3)(1,2)(2,3)
+24	(a*)((abc|b)(c*))	abc	(0,3)(0,1)(1,3)(1,2)(2,3)
+25	(a|ab)			ab	(0,2)(0,2)
+26	(ab|a)			ab	(0,2)(0,2)
+27	(a|ab)(b*)		ab	(0,2)(0,2)(2,2)
+28	(ab|a)(b*)		ab	(0,2)(0,2)(2,2)