diff --git a/main.tex b/main.tex index a78616599ac8f77c77e1effa78c9aacb91a415dd..7ffa3fade9269505c492b0ca527041ff1869e7c3 100644 --- a/main.tex +++ b/main.tex @@ -6,6 +6,8 @@ \newcommand{\expreg}{exp-regular\xspace} \newcommand{\Expreg}{Exp-regular\xspace} + + \newcommand{\mso}{\textsf{MSO}\xspace} \newcommand{\fo}{\textsf{FO}\xspace} \newcommand{\msot}{\textsf{MSO-T}\xspace} @@ -15,11 +17,17 @@ \newcommand{\msomi}{\textsf{MSO-MI}\xspace} \newcommand{\fomi}{\textsf{FO-MI}\xspace} \newcommand{\nmsomi}{\textsf{NMSO-MI}\xspace} -\newcommand{\rev}{\textsf{rev}\xspace} + \newcommand{\sst}{\textsf{SST}\xspace} +\newcommand{\mt}{\textsf{MT}\xspace} +\newcommand{\ipt}{\textsf{IPT}\xspace} \newcommand{\mtt}{\textsf{MTT}\xspace} +\newcommand{\rev}{\textsf{rev}\xspace} + + + \newcommand{\dlin}{\textsc{DLinSpace}\xspace} \newcommand{\ssign}{\mathfrak{S}} @@ -280,7 +288,10 @@ The \emph{initial configuration} of $\auta$ over $v$ is the word $(q_0,1)$. Give \item in all other cases, $c'$ is not defined \end{itemize} +\begin{question} +Does $\ipt=\mt\circ\msot$ hold? +\end{question} \section{Some remaining questions} \subsection{Expressiveness} @@ -300,7 +311,7 @@ The \emph{initial configuration} of $\auta$ over $v$ is the word $(q_0,1)$. Give they capture \msomi ? \item recursive programming language corresponding or being captured by \msomi ? - \item Krohn-Rhodes like decomposition \eg $\mathsf{polyreg}\circ \mathsf{exp} \circ \mathsf{reg}$, with $\mathsf{exp}$ being some simple class of exponential growth function. + \item Krohn-Rhodes like decomposition \eg $\msoi\circ \mathsf{exp} \circ \msot$, with $\mathsf{exp}$ being some simple class of exponential growth function. \end{itemize}