progs/tests/left-assoc.txt
author Chengsong
Sun, 09 Jul 2023 02:08:12 +0100
changeset 658 273c176d9027
parent 161 2778715487a9
permissions -rw-r--r--
finished 4.3.2 section explaining why lemma 11 is too strong

-1	(a|ab)(c|bcd)(d*)	abcd	(0,4)(0,1)(1,4)(4,4)
-2	(a|ab)(bcd|c)(d*)	abcd	(0,4)(0,1)(1,4)(4,4)
-3	(ab|a)(c|bcd)(d*)	abcd	(0,4)(0,1)(1,4)(4,4)
-4	(ab|a)(bcd|c)(d*)	abcd	(0,4)(0,1)(1,4)(4,4)
-5	(a*)(b|abc)(c*)	abc	(0,3)(0,0)(0,3)(3,3)
-6	(a*)(abc|b)(c*)	abc	(0,3)(0,0)(0,3)(3,3)
-7	(a*)(b|abc)(c*)	abc	(0,3)(0,0)(0,3)(3,3)
-8	(a*)(abc|b)(c*)	abc	(0,3)(0,0)(0,3)(3,3)
-9	(a|ab)(c|bcd)(d|.*)	abcd	(0,4)(0,1)(1,4)(4,4)
-10	(a|ab)(bcd|c)(d|.*)	abcd	(0,4)(0,1)(1,4)(4,4)
-11	(ab|a)(c|bcd)(d|.*)	abcd	(0,4)(0,1)(1,4)(4,4)
-12	(ab|a)(bcd|c)(d|.*)	abcd	(0,4)(0,1)(1,4)(4,4)