https://discord.com/channels/960643023006490684/1084047886494470185/1305239579749646520

Author: lengyijun

table.tex

@@ -118,7 +118,7 @@ \section{Preliminaries: Turing machines}
 10             & \textcolor{green}{Ma}    & \mbox{\bf Mi}_2& \multicolumn{11}{c}{}\\                       \cline{1-3}
 9              &       &      &\multicolumn{11}{c}{}\\                                  \cline{1-3}
 8              & \textcolor{green}{Ba}    &      &\multicolumn{11}{c}{}\\                                  \cline{1-3}
-7              &       &      &\multicolumn{11}{c}{}\\                                  \cline{1-4}
+7              &       & Da   			 &\multicolumn{11}{c}{}\\                                  \cline{1-4}
 6              &       & \textcolor{green}{Ma}   &  \mbox{\bf Mi}_2 & \multicolumn{10}{c}{}\\          \cline{1-4}
 5              &       & \textcolor{green}{Ba}   &                  & \multicolumn{10}{c}{}\\          \cline{1-5}
 4              &       & \textcolor{red}{Mi_2} & \textcolor{green}{Ma}               &\mbox{\bf Mi}_2 & \multicolumn{9}{c}{}\\         \cline{1-6}
@@ -131,6 +131,7 @@ \section{Preliminaries: Turing machines}
 $Ba=$ Baiocchi \cite{Ba98},
 $Mi_1=$ Michel \cite{Mi93},
 $Mi_2=$ Michel \cite{Mi14}.
+$Da=$ Daniel \cite{Da24}.
 $Yj=$ Yijun Leng (this repo).
 In roman boldface, halting machines.
 Green: unary;
@@ -465,6 +466,7 @@ \section{Conclusion}
 a survey, \emph{Theoret. Comput. Sci.} {\bf 410}, 2009, 443--450.
 Extended and updated in: http://arxiv/abs/1110.2230.
 
+\bibitem{Da24} Daniel, https://discord.com/channels/960643023006490684/1084047886494470185/1305239579749646520
 
 \end{thebibliography}