a tool for approximate dictionary lookup