progs/tests/left-assoc.txt
author Chengsong
Sun, 30 Jan 2022 23:36:31 +0000
changeset 403 6291181fad07
parent 161 2778715487a9
permissions -rw-r--r--
blexer1 for size bound with strongDB

-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)