A symbolic representation of the rules that are used for matching and manipulating strings.