Skip to content
Snippets Groups Projects
Commit ca8401b1 authored by Nathan Lhote's avatar Nathan Lhote
Browse files

m

parent c85b503b
No related branches found
No related tags found
No related merge requests found
...@@ -6,6 +6,8 @@ ...@@ -6,6 +6,8 @@
\newcommand{\expreg}{exp-regular\xspace} \newcommand{\expreg}{exp-regular\xspace}
\newcommand{\Expreg}{Exp-regular\xspace} \newcommand{\Expreg}{Exp-regular\xspace}
\newcommand{\mso}{\textsf{MSO}\xspace} \newcommand{\mso}{\textsf{MSO}\xspace}
\newcommand{\fo}{\textsf{FO}\xspace} \newcommand{\fo}{\textsf{FO}\xspace}
\newcommand{\msot}{\textsf{MSO-T}\xspace} \newcommand{\msot}{\textsf{MSO-T}\xspace}
...@@ -15,11 +17,17 @@ ...@@ -15,11 +17,17 @@
\newcommand{\msomi}{\textsf{MSO-MI}\xspace} \newcommand{\msomi}{\textsf{MSO-MI}\xspace}
\newcommand{\fomi}{\textsf{FO-MI}\xspace} \newcommand{\fomi}{\textsf{FO-MI}\xspace}
\newcommand{\nmsomi}{\textsf{NMSO-MI}\xspace} \newcommand{\nmsomi}{\textsf{NMSO-MI}\xspace}
\newcommand{\rev}{\textsf{rev}\xspace}
\newcommand{\sst}{\textsf{SST}\xspace} \newcommand{\sst}{\textsf{SST}\xspace}
\newcommand{\mt}{\textsf{MT}\xspace}
\newcommand{\ipt}{\textsf{IPT}\xspace}
\newcommand{\mtt}{\textsf{MTT}\xspace} \newcommand{\mtt}{\textsf{MTT}\xspace}
\newcommand{\rev}{\textsf{rev}\xspace}
\newcommand{\dlin}{\textsc{DLinSpace}\xspace} \newcommand{\dlin}{\textsc{DLinSpace}\xspace}
\newcommand{\ssign}{\mathfrak{S}} \newcommand{\ssign}{\mathfrak{S}}
...@@ -280,7 +288,10 @@ The \emph{initial configuration} of $\auta$ over $v$ is the word $(q_0,1)$. Give ...@@ -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 \item in all other cases, $c'$ is not defined
\end{itemize} \end{itemize}
\begin{question}
Does $\ipt=\mt\circ\msot$ hold?
\end{question}
\section{Some remaining questions} \section{Some remaining questions}
\subsection{Expressiveness} \subsection{Expressiveness}
...@@ -300,7 +311,7 @@ The \emph{initial configuration} of $\auta$ over $v$ is the word $(q_0,1)$. Give ...@@ -300,7 +311,7 @@ The \emph{initial configuration} of $\auta$ over $v$ is the word $(q_0,1)$. Give
they capture \msomi ? they capture \msomi ?
\item recursive programming language corresponding or being \item recursive programming language corresponding or being
captured by \msomi ? 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} \end{itemize}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment