. . . "Dictionaries have commonly been adaptive: when the longest matching string is found, a new string consisting of the matched string plus one or more additional characters is added." .