progs/tests/osx-bsd-critical.txt
author Christian Urban <christian.urban@kcl.ac.uk>
Sun, 30 Jan 2022 21:21:24 +0000
changeset 402 1612f2a77bf6
parent 195 c2d36c3cf8ad
permissions -rw-r--r--
more definitions in the paper

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)