与上一行对齐的选项卡式枚举

Question

我希望能够复制以下图像。我不确定如何强制枚举在之后对齐$M_2 =$。有人可以提供一个复制此示例吗？

Answer 1

一个选项是使用enumitem：

\documentclass{article}
\usepackage{enumitem}

\newlength\Separation
\begin{document}

\noindent
$M_2={}$ ``On input string
\settowidth\Separation{$M_2={}$ }
\begin{enumerate}[
  nolistsep,
  label=\textbf{\arabic*.},
  leftmargin=\dimexpr\labelwidth-\labelsep+\Separation\relax
]
\item First.
\item Third.
\item Second.''
\end{enumerate}

\end{document}

标签的水平距离的计算是用的\labelwidth-\labelsep+\Separation，其中\Separation是作为对齐点所需字符串的宽度；$M_2={}$在本例中是。

Answer 2

可以通过以下方式完成tabular：

\documentclass{article}
\usepackage{array,enumitem}
\newcolumntype{L}{>{\raggedright\arraybackslash}p{\dimexpr0.9\textwidth-2\tabcolsep\relax}}
\begin{document}
  \noindent
  \begin{tabular}{>{\centering\arraybackslash}p{0.1\textwidth}@{}L}
  $M_{2} ={}$ & ``On input string $w$:
                \begin{enumerate}[leftmargin=*,label=\textbf{\arabic*.},itemsep=0pt,before=\vspace{-0.5\baselineskip},parsep=0pt]
                \item Sweep left to right
                \item If in stage 1, 
                \item If in stage 1, the tape contained more than single 0 and the number of 0s was odd \emph{reject}''
                \end{enumerate}
  \end{tabular}
\end{document}