因此,它能在一种sk归约机上运行。

• Hence they can be executed on a SK reduction machine.