m

main.tex

@@ -4,8 +4,8 @@
 \usepackage{amssymb,amsthm,amsmath,stmaryrd}
 \usepackage{xspace}
 
-\newcommand{\expreg}{exporegular}
-\newcommand{\Expreg}{Exporegular\xspace}
+\newcommand{\expreg}{expregular}
+\newcommand{\Expreg}{Expregular\xspace}
 \newcommand{\mso}{\textsf{MSO}\xspace}
 \newcommand{\fo}{\textsf{FO}\xspace}
 \newcommand{\msot}{\textsf{MSO-T}\xspace}
@@ -202,7 +202,9 @@ Moreover, it is decidable whether an
 
 
 
+\subsection{Layered marble transducer}
 
+We define a model of transducers based on marble transducers.
 \section{FO model-checking of transductions with origins: SSTs and pebble transducers}
 \label{sec:mc}
 \subsection{Model-checking (copyfull) SSTs with origin}