"M", "k")，"M"是一个图灵机而"k"是一个正整数，如果"M"会在"k"步以内停止则输出"M"；否则就甚么都不输出。然后，这里输出的联集，也就是("M", "k")这些组合所有可能的输出，恰好是会停止的"M"的集合。PR 包含但不等于ELEMENTARY。