progs/tests/nullsub3.txt
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Tue, 17 May 2016 03:47:33 +0100
changeset 180 42ffaca7c85e
parent 161 2778715487a9
child 195 c2d36c3cf8ad
permissions -rw-r--r--
isarfied the simplify theory

     1		(a*)*		a		(0,1)(0,1)
     2		SAME		x		(0,0)(0,0)
     3		SAME		aaaaaa		(0,6)(0,6)
     4		SAME		aaaaaax		(0,6)(0,6)
     5		(a*)+		a		(0,1)(0,1)
     6		SAME		x		(0,0)(0,0)
     7		SAME		aaaaaa		(0,6)(0,6)
     8		SAME		aaaaaax		(0,6)(0,6)
     9		(a+)*		a		(0,1)(0,1)
    10		SAME		x		(0,0)(?,?)
    11		SAME		aaaaaa		(0,6)(0,6)
    12		SAME		aaaaaax		(0,6)(0,6)
    13		(a+)+		a		(0,1)(0,1)
    14		SAME		x		NOMATCH
    15		SAME		aaaaaa		(0,6)(0,6)
    16		SAME		aaaaaax		(0,6)(0,6)
    17		([a]*)*		a		(0,1)(0,1)
    18		SAME		x		(0,0)(0,0)
    19		SAME		aaaaaa		(0,6)(0,6)
    20		SAME		aaaaaax		(0,6)(0,6)
    21		([a]*)+		a		(0,1)(0,1)
    22		SAME		x		(0,0)(0,0)
    23		SAME		aaaaaa		(0,6)(0,6)
    24		SAME		aaaaaax		(0,6)(0,6)
    25		([^b]*)*	a		(0,1)(0,1)
    26		SAME		b		(0,0)(0,0)
    27		SAME		aaaaaa		(0,6)(0,6)
    28		SAME		aaaaaab		(0,6)(0,6)
    29		([ab]*)*	a		(0,1)(0,1)
    30		SAME		aaaaaa		(0,6)(0,6)
    31		SAME		ababab		(0,6)(0,6)
    32		SAME		bababa		(0,6)(0,6)
    33		SAME		b		(0,1)(0,1)
    34		SAME		bbbbbb		(0,6)(0,6)
    35		SAME		aaaabcde	(0,5)(0,5)
    36		([^a]*)*	b		(0,1)(0,1)
    37		SAME		bbbbbb		(0,6)(0,6)
    38		SAME		aaaaaa		(0,0)(0,0)
    39		([^ab]*)*	ccccxx		(0,6)(0,6)
    40		SAME		ababab		(0,0)(0,0)
    41		((z)+|a)*	zabcde		(0,2)(1,2)(?,?)
    42		(a)		aaa		(0,1)(0,1)
    46		(a*)*(x)		x	(0,1)(0,0)(0,1)
    47		(a*)*(x)		ax	(0,2)(0,1)(1,2)
    48		(a*)*(x)		axa	(0,2)(0,1)(1,2)
    49		(a*)+(x)		x	(0,1)(0,0)(0,1)
    50		(a*)+(x)		ax	(0,2)(0,1)(1,2)
    51		(a*)+(x)		axa	(0,2)(0,1)(1,2)
    52		(a*){2}(x)		x	(0,1)(0,0)(0,1)
    53		(a*){2}(x)		ax	(0,2)(1,1)(1,2)
    54		(a*){2}(x)		axa	(0,2)(1,1)(1,2)