From ce3d937750aaccdda8c72f7f368a22b2256ab87c Mon Sep 17 00:00:00 2001 From: "nathan.lhote" <nathan.lhote@lis-lab.fr> Date: Thu, 14 Apr 2022 23:10:35 +0200 Subject: [PATCH] m --- main.tex | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/main.tex b/main.tex index 75ca06d..d7e0eb6 100644 --- a/main.tex +++ b/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} -- GitLab