PanLinx
普通话
cmn-000
局部递归函数
English
eng-000
partial recursive function
PanLex