[单选]  在规范归约中，用（）来刻画可归约串。