51 \def\Z{\mathit{Z}} |
51 \def\Z{\mathit{Z}} |
52 \def\S{\mathit{S}} |
52 \def\S{\mathit{S}} |
53 \newcommand{\ZERO}{\mbox{\bf 0}} |
53 \newcommand{\ZERO}{\mbox{\bf 0}} |
54 \newcommand{\ONE}{\mbox{\bf 1}} |
54 \newcommand{\ONE}{\mbox{\bf 1}} |
55 \def\rs{\mathit{rs}} |
55 \def\rs{\mathit{rs}} |
|
56 \definecolor{darkblue}{rgb}{0,0,0.6} |
56 |
57 |
57 \def\Brz{Brzozowski} |
58 \def\Brz{Brzozowski} |
58 \def\der{\backslash} |
59 \def\der{\backslash} |
59 \newtheorem{falsehood}{Falsehood} |
60 \newtheorem{falsehood}{Falsehood} |
60 \newtheorem{conject}{Conjecture} |
61 \newtheorem{conject}{Conjecture} |
61 |
62 |
62 %!\bibliographystyle{plainurl} |
63 %!\bibliographystyle{plainurl} |
63 \bibliographystyle{plain} |
64 \bibliographystyle{plain} |
64 |
65 |
65 \title{{POSIX} {L}exing with {B}itcoded {D}erivatives} |
66 %\title{{POSIX} {L}exing with {B}itcoded {D}erivatives} |
66 \titlerunning{POSIX Lexing with Bitcoded Derivatives} |
67 %\titlerunning{POSIX Lexing with Bitcoded Derivatives} |
67 \author{Chengsong Tan\inst{1,2} \and Christian Urban\inst{2}} |
68 %\author{Chengsong Tan\inst{1,2} \and Christian Urban\inst{2}} |
68 \institute{Imperial College London \and King's College London\\ |
69 %\institute{Imperial College London \and King's College London\\ |
69 \email{\{chengsong.tan,christian.urban\}@kcl.ac.uk}} |
70 %\email{\{chengsong.tan,christian.urban\}@kcl.ac.uk}} |
70 %!\author{Chengsong Tan}{King's College London}{chengsong.tan@kcl.ac.uk}{}{} |
71 %!\author{Chengsong Tan}{King's College London}{chengsong.tan@kcl.ac.uk}{}{} |
71 %!\author{Christian Urban}{King's College London}{christian.urban@kcl.ac.uk}{}{} |
72 %!\author{Christian Urban}{King's College London}{christian.urban@kcl.ac.uk}{}{} |
72 %!\authorrunning{C.~Tan and C.~Urban} |
73 %!\authorrunning{C.~Tan and C.~Urban} |
73 %!\keywords{POSIX matching and lexing, derivatives of regular expressions, Isabelle/HOL} |
74 %!\keywords{POSIX matching and lexing, derivatives of regular expressions, Isabelle/HOL} |
74 %!\category{} |
75 %!\category{} |
75 %!\ccsdesc[100]{Design and analysis of algorithms} |
76 %!\ccsdesc[100]{Design and analysis of algorithms} |
76 %!\ccsdesc[100]{Formal languages and automata theory} |
77 %!\ccsdesc[100]{Formal languages and automata theory} |
77 %!\Copyright{\mbox{}} |
78 %!\Copyright{\mbox{}} |
78 %!\renewcommand{\DOIPrefix}{} |
79 %!\renewcommand{\DOIPrefix}{} |
79 %!\nolinenumbers |
80 %!\nolinenumbers |
|
81 |
|
82 \title{{POSIX} {L}exing with {B}itcoded {D}erivatives} |
|
83 \titlerunning{POSIX Lexing with Bitcoded Derivatives} |
|
84 \author{Chengsong Tan}{Imperial College London}{ctan1@ic.ac.uk}{}{} |
|
85 \author{Christian Urban}{King's College London}{christian.urban@kcl.ac.uk}{}{} |
|
86 \authorrunning{C.~Tan and C.~Urban} |
|
87 \keywords{POSIX matching and lexing, derivatives of regular expressions, Isabelle/HOL} |
|
88 \category{} |
|
89 \ccsdesc[100]{Design and analysis of algorithms} |
|
90 \ccsdesc[100]{Formal languages and automata theory} |
|
91 \Copyright{\mbox{}} |
|
92 \renewcommand{\DOIPrefix}{} |
|
93 \nolinenumbers |
80 |
94 |
81 |
95 |
82 \begin{document} |
96 \begin{document} |
83 \maketitle |
97 \maketitle |
84 |
98 |