20.4 概率语法