Index of /~rahn/loop/src/paper/NFA

	Name	Last modified	Size	Description
	Parent Directory		-
	complement.tex	03-Mar-2005 13:46	791
	conc.tex	03-Mar-2005 13:46	2.4K
	det-exp.det.dot	03-Mar-2005 13:46	1.1K
	det-exp.det.eps	03-Mar-2005 13:46	7.0K
	det-exp.eps	03-Mar-2005 13:46	4.7K
	det.tex	03-Mar-2005 13:46	4.0K
	factor.tex	03-Mar-2005 13:46	719
	iempty.tex	03-Mar-2005 13:46	736
	intersect.tex	03-Mar-2005 13:46	1.5K
	ldiv.tex	03-Mar-2005 13:46	377
	letter.intersect.dot	03-Mar-2005 13:46	1.8K
	letter.intersect.eps	03-Mar-2005 13:46	9.2K
	letter.intersectU.eps	03-Mar-2005 13:46	5.0K
	merge.ex.eps	03-Mar-2005 13:46	5.3K
	merge.ex.h.dot	03-Mar-2005 13:46	598
	merge.ex.h.eps	03-Mar-2005 13:46	5.4K
	minimize.tex	03-Mar-2005 13:46	5.0K
	minus.tex	03-Mar-2005 13:46	428
	mirror.tex	03-Mar-2005 13:46	925
	nfa.tex	03-Mar-2005 13:46	1.1K
	nfa1.det.dot	03-Mar-2005 13:46	647
	nfa1.det.eps	03-Mar-2005 13:46	5.4K
	nfa1.eps	03-Mar-2005 13:46	4.7K
	nfa1.intersect.nfa2.dot	03-Mar-2005 13:46	1.4K
	nfa1.intersect.nfa2.eps	03-Mar-2005 13:46	7.8K
	nfa1.intersectU.nfa2.eps	03-Mar-2005 13:46	5.4K
	nfa1.mirror.eps	03-Mar-2005 13:46	4.6K
	nfa1.quotient.nfa2.eps	03-Mar-2005 13:46	4.7K
	nfa1.uneps.det.mirror.eps	03-Mar-2005 13:46	5.4K
	nfa1.unepsed.eps	03-Mar-2005 13:46	5.0K
	nfa2.eps	03-Mar-2005 13:46	4.9K
	nfa2.replace.eps	03-Mar-2005 13:46	6.1K
	nfa2.replace_one.eps	03-Mar-2005 13:46	7.8K
	nfa3.det.dot	03-Mar-2005 13:46	1.0K
	nfa3.det.eps	03-Mar-2005 13:46	6.9K
	nfa3.det.uneps.eps	03-Mar-2005 13:46	6.7K
	nfa3.eps	03-Mar-2005 13:46	5.4K
	nfa3.minhc.dot	03-Mar-2005 13:46	565
	nfa3.minhc.eps	03-Mar-2005 13:46	5.7K
	nfa3.unepsed.eps	03-Mar-2005 13:46	5.5K
	prop.tex	03-Mar-2005 13:46	1.8K
	quotient.tex	03-Mar-2005 13:46	1.2K
	replace.tex	03-Mar-2005 13:46	2.5K
	subset.tex	03-Mar-2005 13:46	1.2K
	type.tex	03-Mar-2005 13:46	5.4K
	uneps.tex	03-Mar-2005 13:46	2.9K
	union.tex	03-Mar-2005 13:46	1.4K
	usefull.tex	03-Mar-2005 13:46	2.7K