PanLinx
普通话
cmn-000
图灵机部分可算函数
English
eng-000
Turing partially computable function
PanLex