PanLinx
普通话
cmn-000
确定的线性界限自动机
English
eng-000
deterministic linear bounded automaton
PanLex