翻译 「推导语法」和「类」