容器块

容器块 (opens new window)是一种包含其他块的块的集合。容器块有两种基本类型，块引用 (opens new window)和列表项 (opens new window)。列表 (opens new window)是列表项 (opens new window)的元容器。 我们用递归的形式定义容器块的语法，其一般形式是：

如果 X 是一个块序列，那么通过一定的方式转换之后，会变成包含这些块的另一种形式 Y 。

因此，我们通过 X 包含的内容 生成 的结果来判断其是块引用还是列表项。这应该足以定义语法，尽管它没有给出 解析 这些结构的方法。（有一个方法在章节一个解析策略 (opens new window) 中提及。）