a regexp method for davkit strings