AryaWu
/

libxml

Model card Files Files and versions

libxml / test /automata /aba

AryaWu's picture

Upload folder using huggingface_hub

6baed57 verified 7 months ago

History Blame Contribute Delete

97 Bytes

	#
	# Tests a[ab]*
	#
	t 0 1 a
	t 1 1 a
	t 1 1 b
	f 1
	-------
	a
	=>
	a
	a
	=>
	a
	b
	a
	b
	a
	b
	=>
	b
	=>
	a
	c
	=>
	=>