1: \begin{abstract}

2: 	We prove that for any $\varepsilon>0$, a non-deterministic Turing machine $\T$ with time complexity $T(n)$ can be emulated by an $S$-machine with time and space complexities at most $T(n)^{1+\varepsilon}$ and $T(n)$, respectively. This improves the bounds on the emulation in \cite{SBR} and leads to improved bounds in the main theorem of \cite{BORS}. In particular, for a non-hyperbolic finitely generated group $G$ whose word problem has linear time complexity, this yields an embedding of $G$ into a finitely presented group $H$ such that $G$ has bounded distortion in $H$ and the Dehn function of $G$ in $H$ is bounded above by $n^{2+\varepsilon}$, an optimal bound modulo the $\eps$ factor. As a means to this end, we introduce and develop the theory of $S$-graphs, giving a different perspective on the construction of $S$-machines akin to a crude object-oriented programming language.

3: \end{abstract}

4: