PanLinx
普通话
cmn-000
线形有限自动化
English
eng-000
linear bounded automation
PanLex
