progs/tests/osx-bsd-critical.txt
author Chengsong
Thu, 23 Jun 2022 18:32:14 +0100
changeset 547 feae84f66472
parent 195 c2d36c3cf8ad
permissions -rw-r--r--
before alternating rewriting relation

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)