1 \BOOKMARK [1][-]{section.1.1}{Bit-Encodings}{}% 1

     2 \BOOKMARK [1][-]{section.1.2}{Annotated Regular Expressions}{}% 2

     3 \BOOKMARK [1][-]{section.1.3}{Introduction}{}% 3

     4 \BOOKMARK [1][-]{section.1.4}{Preliminaries}{}% 4

     5 \BOOKMARK [1][-]{section.1.5}{POSIX Regular Expression Matching}{}% 5

     6 \BOOKMARK [1][-]{section.1.6}{Ordering of Values according to Okui and Suzuki}{}% 6

     7 \BOOKMARK [1][-]{section.1.7}{Bitcoded Lexing}{}% 7

     8 \BOOKMARK [1][-]{section.1.8}{Optimisations}{}% 8

     9 \BOOKMARK [1][-]{section.1.9}{HERE}{}% 9