convolution kernels on discrete structures ucsc crl .
introduction to automata theory , languages and computation .