diff -r d486c12deeab -r 2e2dca212fff etnms/etnms.out --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/etnms/etnms.out Thu Jan 09 22:21:04 2020 +0000 @@ -0,0 +1,6 @@ +\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