PanLinx
普通话
cmn-000
弱等价变换
English
eng-000
weakly equivalent transformations
PanLex
