1
\relax
2
\@writefile{toc}{\contentsline {section}{\numberline {1}regular expression derivatives as NFA's}{1}}