PanLinx
English
eng-000
deterministic automation
普通话
cmn-000
确定性自动机
PanLex
