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