\BOOKMARK [1][-]{section.1.1}{Bit-Encodings}{}% 1
\BOOKMARK [1][-]{section.1.2}{Annotated Regular Expressions}{}% 2
\BOOKMARK [1][-]{section.1.3}{Introduction}{}% 3
\BOOKMARK [1][-]{section.1.4}{Preliminaries}{}% 4
\BOOKMARK [1][-]{section.1.5}{POSIX Regular Expression Matching}{}% 5
\BOOKMARK [1][-]{section.1.6}{Ordering of Values according to Okui and Suzuki}{}% 6
\BOOKMARK [1][-]{section.1.7}{Bitcoded Lexing}{}% 7
\BOOKMARK [1][-]{section.1.8}{Optimisations}{}% 8
\BOOKMARK [1][-]{section.1.9}{HERE}{}% 9