latex 写一个上下文无关文法

在 LaTeX 中编写一个上下文无关文法（Context-Free Grammar，简称 CFG）通常使用 `bussproofs` 或 `tikz-cfg` 这样的包。这里是一个简单的例子，展示如何用 `tikz-cfg` 来绘制：

\documentclass{article}
\usepackage{tikz-cd}
\usetikzlibrary{decorations.pathreplacing}

\begin{document}

\begin{tikzpicture}[node distance=2cm]
\tikzset{
    every state/.style={
        rectangle,
        draw=black,
        thick,
        fill=white,
        minimum size=5mm
    },
    start state/.style={fill=green!20},
    production/.style={
        ->,
        font=\footnotesize
    },
    rules/.style={
        decorate,
        decoration={calligraphic brace}
    }
}

\node[state, start state] (S) {S};
\node[state, right=of S] (A) {A};
\node[state, below=of A] (B) {B};

\path[production] (S) edge node {$a \mid ab$} (A);
\path[production] (A) edge node {$b \mid \epsilon$} (B);
\path[rules] (A.south east) -- node[right] {$\rightarrow^*$} ++(0,-1.5cm) -- ++(2cm,0);

\end{tikzpicture}

\end{document}

这个例子定义了一个非常简单的文法，S 可以开始生成 a 或者 ab，而 A 能生成 b 或者结束（记作 ε）。`$\rightarrow^*$` 表示零次或多次转换。