latex 写一个上下文无关文法 的语法规则

LaTeX 中创建一个简单的上下文无关文法（Context-Free Grammar, CFG）通常用于描述特定类型的结构，例如数学公式、文档排版等。上下文无关文法由四个部分组成：非终结符（non-terminals）、终结符（terminals）、开始符号（start symbol）和生产规则（production rules）。下面是一个基本的示例：

1. **非终结符** (Non-Terminals)：通常用大写字母表示，如 `S`, `A`, `B` 等，代表句子或更复杂的结构。
2. **终结符** (Terminals)：用小写字母表示，如 `a`, `b`, `\frac` 等，代表可以直接打印的字符或命令。
3. **开始符号** (Start Symbol): 表明语法树的根，一般用 `S` 或 `$` 符号表示。
4. **生产规则** (Production Rules): 写作 `A -> α` 或 `A ::= α`，其中 `A` 是左部，`α` 是右部，表示从 `A` 可以生成 `α`。

一个简单的 LaTeX 文法样例：

S -> document S | section S | paragraph
document -> \begin{document} S \end{document}
section -> \section*{Scontent}
paragraph -> \parbox{width}{text}

这里定义了三种结构：整个文档、章节和段落。每个结构可以包含其他结构或直接的内容。