PanLinx
普通话
cmn-000
图灵机形式化
English
eng-000
Turing machine formalization
PanLex