设计描述SAMPLE语言的语法结构的上下文无关文法

设计描述一种叫做SAMPLE的语言的上下文无关文法（Context-Free Grammar, CFG），通常会涉及一些基本组成部分：

1. **非终结符集** (Non-Terminals)：用于生成样本程序的符号集合，如变量、函数名、控制结构等。例如，`S` 可能表示程序的根元素。

2. **终结符集** (Terminals)：实际的字符或字符串，如数字、运算符、标识符等。比如 `num`, `+`, `*`。

3. **开始符号** (Start Symbol)：表示句子开始的非终结符，通常是 `S`。

4. **产生式规则** (Production Rules): 形式为 A -> α，其中 A 是一个非终结符，α 是由终结符和非终结符组成的序列（可能是单个终结符或多个项的组合）。例如，`S -> num + S | num` 表示 `S` 可以通过数字加 `S` 或仅是一个数字来生成。

5. **空串** (Empty String)：特殊符号 ε（epsilon），作为产生式的左部可以表示某部分不包含任何字符的结构。

一个完整的上下文无关文法例子可能如下：

S -> expr
expr -> term (+ expr)
term -> factor (* term)
factor -> num | identifier
num -> [0-9]+
identifier -> [a-zA-Z_][a-zA-Z0-9_]*
epsilon: ε

这里，`S` 是开始符号，表达式 (`expr`) 和术语 (`term`) 都是从因子 (`factor`) 构成的。非终结符和终结符之间的箭头表示了它们如何组合生成更大的结构。