diff -r 86e0203db2da -r 988e92a70704 ChengsongTanPhdThesis/Chapters/Introduction.tex --- a/ChengsongTanPhdThesis/Chapters/Introduction.tex Wed Aug 31 12:51:53 2022 +0100 +++ b/ChengsongTanPhdThesis/Chapters/Introduction.tex Wed Aug 31 23:57:42 2022 +0100 @@ -117,6 +117,11 @@ \def\map{\mathit{map}} \def\distinct{\mathit{distinct}} \def\blexersimp{\mathit{blexer}\_\mathit{simp}} +\def\blexerStrong{\textit{blexerStrong}} +\def\bsimpStrong{\textit{bsimpStrong}} +%\def\bdersStrong{\textit{bdersStrong}} +\newcommand{\bdersStrong}[2]{#1 \backslash_{bsimpStrongs} #2} + \def\map{\textit{map}} \def\rrexp{\textit{rrexp}} \newcommand\rnullable[1]{\textit{rnullable} \; #1 } @@ -153,20 +158,27 @@ -\pgfplotsset{ - myplotstyle/.style={ - legend style={draw=none, font=\small}, - legend cell align=left, - legend pos=north east, - ylabel style={align=center, font=\bfseries\boldmath}, - xlabel style={align=center, font=\bfseries\boldmath}, - x tick label style={font=\bfseries\boldmath}, - y tick label style={font=\bfseries\boldmath}, - scaled ticks=true, - every axis plot/.append style={thick}, - }, + +\lstdefinestyle{myScalastyle}{ + frame=tb, + language=scala, + aboveskip=3mm, + belowskip=3mm, + showstringspaces=false, + columns=flexible, + basicstyle={\small\ttfamily}, + numbers=none, + numberstyle=\tiny\color{gray}, + keywordstyle=\color{blue}, + commentstyle=\color{dkgreen}, + stringstyle=\color{mauve}, + frame=single, + breaklines=true, + breakatwhitespace=true, + tabsize=3, } + %---------------------------------------------------------------------------------------- %This part is about regular expressions, Brzozowski derivatives, %and a bit-coded lexing algorithm with proven correctness and time bounds.