规范归约中的可归约串是指（）。