展开 语法构造的递归性