equal
deleted
inserted
replaced
7 \usepackage{mathpartir} |
7 \usepackage{mathpartir} |
8 \usepackage{tikz} |
8 \usepackage{tikz} |
9 \usepackage{pgf} |
9 \usepackage{pgf} |
10 \usetikzlibrary{positioning} |
10 \usetikzlibrary{positioning} |
11 \usepackage{pdfsetup} |
11 \usepackage{pdfsetup} |
12 \usepackage{ot1patch} |
12 %%\usepackage{stmaryrd} |
13 \usepackage{stmaryrd} |
|
14 \usepackage{url} |
13 \usepackage{url} |
15 \usepackage{color} |
14 \usepackage{color} |
16 |
|
17 \usepackage{mathtools} |
|
18 |
15 |
19 \titlerunning{POSIX Lexing with Derivatives of Regular Expressions} |
16 \titlerunning{POSIX Lexing with Derivatives of Regular Expressions} |
20 |
17 |
21 \urlstyle{rm} |
18 \urlstyle{rm} |
22 \isabellestyle{it} |
19 \isabellestyle{it} |
27 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,} |
24 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,} |
28 \renewcommand{\isasymequiv}{$\dn$} |
25 \renewcommand{\isasymequiv}{$\dn$} |
29 \renewcommand{\isasymemptyset}{$\varnothing$} |
26 \renewcommand{\isasymemptyset}{$\varnothing$} |
30 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
27 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
31 \renewcommand{\isasymiota}{\makebox[0mm]{${}^{\prime}$}} |
28 \renewcommand{\isasymiota}{\makebox[0mm]{${}^{\prime}$}} |
32 %%\makebox[0mm]{$\mbox{}\mbox{$\,^\prime$}$}} |
|
33 |
29 |
34 \definecolor{mygrey}{rgb}{.80,.80,.80} |
|
35 \def\Brz{Brzozowski} |
30 \def\Brz{Brzozowski} |
36 \def\der{\backslash} |
31 \def\der{\backslash} |
37 \newcommand{\eps}{\varepsilon} |
32 \newtheorem{falsehood}{Falsehood} |
38 \newcommand{\mts}{\eps} |
33 \newtheorem{conject}{Conjecture} |
39 |
34 |
40 \begin{document} |
35 \begin{document} |
41 |
36 |
42 \title{POSIX {L}exing with {D}erivatives of {R}egular {E}xpressions (Proof Pearl)} |
37 \title{POSIX {L}exing with {D}erivatives of {R}egular {E}xpressions (Proof Pearl)} |
43 \author{Fahad Ausaf\inst{1} \and Roy Dyckhoff\inst{2} \and Christian Urban\inst{3}} |
38 \author{Fahad Ausaf\inst{1} \and Roy Dyckhoff\inst{2} \and Christian Urban\inst{3}} |