第十五章：上行递归