progs/tests/osx-bsd-critical.txt
author Chengsong
Mon, 10 Jul 2023 01:51:46 +0100
changeset 661 71502e4d8691
parent 195 c2d36c3cf8ad
permissions -rw-r--r--
overview of finiteness proof Gerog comment "not helpful", adding more intuitions of "closed forms"

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)