PanLinx
普通话
cmn-000
实时多带图灵机
English
eng-000
real-time multitape Turing machine
PanLex
