容器块 是一种包含其他块的块的集合。容器块有两种基本类型，块引用 和列表项 。列表 是列表项 的元容器。 我们用递归的形式定义容器块的语法，其一般形式是：
如果 X 是一个块序列，那么通过一定的方式转换之后，会变成包含这些块的另一种形式 Y 。
因此，我们通过 X 包含的内容 生成 的结果来判断其是块引用还是列表项。这应该足以定义语法，尽管它没有给出 解析 这些结构的方法。（有一个方法在章节一个解析策略 中提及。）