若串w有相同个数的a和b 当且仅当 w扫描结束后，栈为空。若串w有相同个数的a和b 当且仅当 w扫描结束后，栈为空