PanLinx
普通话
cmn-000
线性有界自动机
English
eng-000
linear bounded automat
PanLex
