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