115 \def\simp{\mathit{simp}} |
115 \def\simp{\mathit{simp}} |
116 \def\simpALTs{\mathit{simp}\_\mathit{ALTs}} |
116 \def\simpALTs{\mathit{simp}\_\mathit{ALTs}} |
117 \def\map{\mathit{map}} |
117 \def\map{\mathit{map}} |
118 \def\distinct{\mathit{distinct}} |
118 \def\distinct{\mathit{distinct}} |
119 \def\blexersimp{\mathit{blexer}\_\mathit{simp}} |
119 \def\blexersimp{\mathit{blexer}\_\mathit{simp}} |
|
120 \def\blexerStrong{\textit{blexerStrong}} |
|
121 \def\bsimpStrong{\textit{bsimpStrong}} |
|
122 %\def\bdersStrong{\textit{bdersStrong}} |
|
123 \newcommand{\bdersStrong}[2]{#1 \backslash_{bsimpStrongs} #2} |
|
124 |
120 \def\map{\textit{map}} |
125 \def\map{\textit{map}} |
121 \def\rrexp{\textit{rrexp}} |
126 \def\rrexp{\textit{rrexp}} |
122 \newcommand\rnullable[1]{\textit{rnullable} \; #1 } |
127 \newcommand\rnullable[1]{\textit{rnullable} \; #1 } |
123 \newcommand\rsize[1]{\llbracket #1 \rrbracket_r} |
128 \newcommand\rsize[1]{\llbracket #1 \rrbracket_r} |
124 \newcommand\asize[1]{\llbracket #1 \rrbracket} |
129 \newcommand\asize[1]{\llbracket #1 \rrbracket} |
151 \newcommand\RSTAR[1]{#1^*} |
156 \newcommand\RSTAR[1]{#1^*} |
152 \newcommand\vsuf[2]{\textit{Suffix} \;#1\;#2} |
157 \newcommand\vsuf[2]{\textit{Suffix} \;#1\;#2} |
153 |
158 |
154 |
159 |
155 |
160 |
156 \pgfplotsset{ |
161 |
157 myplotstyle/.style={ |
162 \lstdefinestyle{myScalastyle}{ |
158 legend style={draw=none, font=\small}, |
163 frame=tb, |
159 legend cell align=left, |
164 language=scala, |
160 legend pos=north east, |
165 aboveskip=3mm, |
161 ylabel style={align=center, font=\bfseries\boldmath}, |
166 belowskip=3mm, |
162 xlabel style={align=center, font=\bfseries\boldmath}, |
167 showstringspaces=false, |
163 x tick label style={font=\bfseries\boldmath}, |
168 columns=flexible, |
164 y tick label style={font=\bfseries\boldmath}, |
169 basicstyle={\small\ttfamily}, |
165 scaled ticks=true, |
170 numbers=none, |
166 every axis plot/.append style={thick}, |
171 numberstyle=\tiny\color{gray}, |
167 }, |
172 keywordstyle=\color{blue}, |
|
173 commentstyle=\color{dkgreen}, |
|
174 stringstyle=\color{mauve}, |
|
175 frame=single, |
|
176 breaklines=true, |
|
177 breakatwhitespace=true, |
|
178 tabsize=3, |
168 } |
179 } |
|
180 |
169 |
181 |
170 %---------------------------------------------------------------------------------------- |
182 %---------------------------------------------------------------------------------------- |
171 %This part is about regular expressions, Brzozowski derivatives, |
183 %This part is about regular expressions, Brzozowski derivatives, |
172 %and a bit-coded lexing algorithm with proven correctness and time bounds. |
184 %and a bit-coded lexing algorithm with proven correctness and time bounds. |
173 |
185 |