从一级催化分解到上下文无关规范：重构双射

著名的Bousquet-M\'elou和Jehanne结果表明，具有单个催化变量（也称为催化方程）的二元幂级数解为代数级数。在一级催化方程（即仅涉及单个一元未知级数的方程）的情况下，我们给出一种纯组合论的推导方法。特别地，我们的方法提供了一种工具，用于为由一级催化分解直接支配的组合结构的派生树生成上下文无关规范，或与简单多类型树族之间的双射。这为解决过去50年间自W.T. Tutte于20世纪60年代首次书写此类催化方程以来，各种组合解释问题提供了一个简单的统一框架。