广数系统（Generalized Propagator System，简称GPS）是一种能够支持二型编程的系统。二型编程是一种基于逻辑和约束的编程方法，它主要用于解决复杂的问题和进行推理。与传统的一型编程（命令式编程）不同，二型编程更注重问题的建模和约束的表示，通过定义问题的约束条件，系统可以自动地搜索满足约束条件的解决方案。

广数系统提供了一种高级的编程语言和相应的求解器，可以用于描述和求解各种问题。它适用于多个领域，包括逻辑推理、优化问题、约束满足问题等。通过使用广数系统，用户可以更加高效地解决那些需要复杂逻辑和约束条件的问题。

需要注意的是，二型编程并不是所有编程系统都支持的，它需要特定的系统架构和编程语言来实现。在选择支持二型编程的系统时，用户需要确保该系统具备相应的功能和工具，以满足其编程需求。