3.4.2 reduction归约子语