java提供了一种称之为（ ）的技术对字符串进行分词。