离散数学题疑问,自然语言翻译题。