PanLinx
普通话
cmn-000
局部说明的有限状态机
English
eng-000
partially specified finite-state machine
PanLex