问答题 何谓素短语？

问答题 表达式（λx.（λyz.（x+y）+z）3）45和（λx.（λyz.（x+y）+z）35）4有同样的结果。在抽象机FAM上，哪一个表达式对应的目标代码的执行效率高？为什么？

问答题 如果在A机器上我们有C语言编译器CCA，也有它的源码SA（用C语言写成）。如何利用它通过尽量少的工作来得到B机器的C语言编译器CCB。