align* 环境中的罗马数字枚举

Question

我是 Latex 新手，正在编写我的第一篇文档。我想指定定理成立的条件，并希望将其格式化为如下格式：顶部居中元组。带有罗马数字的项目列表，每个项目都与 \leq 符号对齐（但罗马数字仍在左侧）

我之前写过这个

\begin{align*}
&AP=(Q,\Sigma,\Gamma,\delta,Q_0,Z_0,F) \\
Q&: Conjunto\ de\ estados \\
\Sigma&: Alfabeto\ de\ entrada \\
\Gamma&: Alfabeto\ de\ Pila \\
\delta&: Q\times(\Sigma\cup\{\lambda\})\times\Gamma \rightarrow  P(Q\times\Gamma^*)\\
Q&_0 \in Q \\
Z&_0 \in \Gamma \\
F&: Estados\ Finales,\ F \in Q
\end{align*}

输出

但是，与上面的例子一样，我不想对齐到中心，而是用罗马数字进行枚举，这样数字保持在左侧，但每个条件的内容保持通过比较符号对齐（即 <= 或 =）

Answer 1

我可以建议两种方法来解决你的问题，但都不使用align。

\documentclass{article}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[spanish,es-lcroman]{babel}
\usepackage{amsmath}
\usepackage{enumitem}

\usepackage{tabto} % for the first solution

\newcommand{\defitem}[1]{% for the second solution
  \item \makebox[2em][r]{#1: }\ignorespaces
}

\begin{document}
\begin{enumerate}
\item Defina formalmente $AP$, configuración istantanea
en un~$AP$, cambio de configuración en un~$AP$.

Definición de $AP$
\[
AP=(Q,\Sigma,\Gamma,\delta,Q_0,Z_0,F)
\]
\begin{enumerate}[label=(\roman*),leftmargin=4em,align=left]
\item $Q$\tabto{2em} Conjunto de estados
\item $\Sigma$\tabto{2em} Alfabeto de entrada
\item $\Gamma$\tabto{2em} Alfabeto de Pila
\item $\delta$\tabto{2em} $Q\times(\Sigma\cup\{\lambda\})\times\Gamma \rightarrow  P(Q\times\Gamma^*)$
\item $Q_0$\tabto{2em} $Q_0 \in Q$
\item $Z_0$\tabto{2em} $Z_0 \in \Gamma$
\item $F$\tabto{2em} Estados Finales, $F \in Q$
\end{enumerate}

\item Defina formalmente $AP$, configuración istantanea
en un~$AP$, cambio de configuración en un~$AP$.

Definición de $AP$
\[
AP=(Q,\Sigma,\Gamma,\delta,Q_0,Z_0,F)
\]
\begin{enumerate}[label=(\roman*),leftmargin=4em,align=left]
\defitem{$Q$} Conjunto de estados
\defitem{$\Sigma$} Alfabeto de entrada
\defitem{$\Gamma$} Alfabeto de Pila
\defitem{$\delta$} $Q\times(\Sigma\cup\{\lambda\})\times\Gamma \rightarrow  P(Q\times\Gamma^*)$
\defitem{$Q_0$} $Q_0 \in Q$
\defitem{$Z_0$} $Z_0 \in \Gamma$
\defitem{$F$} Estados Finales, $F \in Q$
\end{enumerate}
\end{enumerate}

\end{document}

Answer 2

align*我认为，通过放弃环境并改用良好的旧环境，可以实现您的格式化目标tabular。请注意，我没有使用任何:符号，因为它们不是真正需要的。

\documentclass{article}
\usepackage{array}
\begin{document}
\[
\begin{tabular}{r >{$}l<{$} l }
& \multicolumn{2}{l}{$AP =(Q,\Sigma,\Gamma,\delta,Q_0,Z_0,F)$}\\[1ex]
i)   & Q     & Conjunto de estados \\
ii)  &\Sigma & Alfabeto de entrada \\
iii) &\Gamma & Alfabeto de Pila \\
iv)  &\delta & $Q\times(\Sigma\cup\{\lambda\})\times\Gamma \to  P(Q\times\Gamma^*)$\\
v)   & \multicolumn{2}{l}{$Q_0\in Q$} \\
vi)  & \multicolumn{2}{l}{$Z_0\in\Gamma$} \\
vii) &F      & Estados Finales, $F\in Q$
\end{tabular}
\]
\end{document}