Symbolic description of regular expressions