ntain，或者说严格包含)PR。PR 函数可以被独立的列举，而并非所有R里面的函数皆可。这告诉我们'PR'有一个"语意的"定义，但是"R"则没有。另一方面，我们可以用下列的概念去使用原始递归函数"列举"任何的递归可枚举集合 (参见另一个复杂度类RE)：给定输入 ("M", "k")，"M"是一个图灵机而"k"是一个正整数，如果"M"会在"k"步以内停止则输出"M"；否则就甚么都不输出。然后，这里输出的联集，也就是("M", "k")这些组合所有可能的输出，恰好是会停止的"M"的集合。PR 包含