
diff -r c27f04bb2262 -r 812e5d112f49 ChengsongTanPhdThesis/Chapters/Introduction.tex
--- a/ChengsongTanPhdThesis/Chapters/Introduction.tex	Wed Jun 29 12:38:05 2022 +0100
+++ b/ChengsongTanPhdThesis/Chapters/Introduction.tex	Fri Jul 01 13:02:15 2022 +0100
@@ -21,6 +21,7 @@
 \newcommand{\ASEQ}[3]{\textit{ASEQ}_{#1} \, #2 \, #3}
 \newcommand{\bderssimp}[2]{#1 \backslash_{bsimps} #2}
 \newcommand{\rderssimp}[2]{#1 \backslash_{rsimp} #2}
+\def\rders{\textit{rders}}
 \newcommand{\bders}[2]{#1 \backslash #2}
 \newcommand{\bsimp}[1]{\textit{bsimp}(#1)}
 \newcommand{\rsimp}[1]{\textit{rsimp}\; #1}
@@ -52,13 +53,14 @@
 \def\internalise{\textit{internalise}}
 \def\lexer{\mathit{lexer}}
 \def\mkeps{\textit{mkeps}}
-\newcommand{\rder}[2]{#2 \backslash #1}
+\newcommand{\rder}[2]{#2 \backslash_r #1}
 
 \def\nonnested{\textit{nonnested}}
 \def\AZERO{\textit{AZERO}}
 \def\AONE{\textit{AONE}}
 \def\ACHAR{\textit{ACHAR}}
 
+\def\scfrewrites{\stackrel{*}{\rightsquigarrow_{scf}}}
 \def\frewrite{\rightsquigarrow_f}
 \def\hrewrite{\rightsquigarrow_h}
 \def\grewrite{\rightsquigarrow_g}




