Hence they can be executed on a SK reduction machine.

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