new file:   regex-to-nfa.tex
	new file:   type-rule-tutorial.tex