熟悉的院落。
年迈的约翰教授身着睡衣，手里拿着个骨瓷茶杯。
杯中咖啡微微荡漾，散发出浓郁的香味。
“教授，您的研究课题是什么？”
杨成好奇地问道。
约翰抿了一口咖啡，不急不慢地说道。
“一款新型的编译器”。
“大体工作已经完成了，进入测试阶段”。
“小杨啊，作为助手，我给你安排了一项小任务”。
“编写一个Ackermann函数，并验证其正确性”。
杨成顿时瞪大了双眼，他可从没听说过这种函数啊！
“阿克曼函数的作用可大着呢”。
教授慢悠悠地说道。
“它用来做编译器的基准，协助判断编译器对递归计算的优化，因为其递归实现的递归深度非常非常高”。
“它的定义很简单，仔细听好咯”。
