At first glance the equations seem to be using primitive recursion.
在第一眼看来这些等式好像使用了原始递归。