Behavioral detection of malware: from a survey towards an established taxonomy
introduction to automata theory , languages and computation .