\BOOKMARK [1][-]{section.1}{Introduction}{}% 1
\BOOKMARK [1][-]{section.2}{The Algorithm by Brzozowski based on Derivatives of Regular Expressions}{}% 2
\BOOKMARK [1][-]{section.3}{Values and the Algorithm by Sulzmann and Lu}{}% 3
\BOOKMARK [1][-]{section.4}{Simplification of Regular Expressions}{}% 4
\BOOKMARK [1][-]{section.5}{Current Work}{}% 5
\BOOKMARK [1][-]{section.6}{Conclusion}{}% 6