再组合等构造出来的一般而言，一个较高抽象层次的计算系统是可以这样实现的，即_____